Search results

Relax wellformedness

Status: Open.

#21 In clementblaudeau/celsius;

· clementblaudeau opened on Mar 21, 2022

Clean Local Reasoning proofs

Status: Open.

#19 In clementblaudeau/celsius;

· clementblaudeau opened on Feb 23, 2022

·  

Soundness

Better use of Require Export/Import

Status: Open.

#16 In clementblaudeau/celsius;

· clementblaudeau opened on Feb 15, 2022

·  

Soundness

Export Documentation

Status: Open.

#14 In clementblaudeau/celsius;

· clementblaudeau opened on Feb 15, 2022

·  

Soundness

Remove Ensembles

Status: Open.

#12 In clementblaudeau/celsius;

· clementblaudeau opened on Feb 15, 2022

·  

Soundness

Coercions

Status: Open.

#10 In clementblaudeau/celsius;

· clementblaudeau opened on Jan 24, 2022

Move to jauto

Status: Open.

#9 In clementblaudeau/celsius;

· clementblaudeau opened on Jan 16, 2022

GetObj and GetEnv notations

notationsImplement or modify notationImplement or modify notation

Status: Open.

#1 In clementblaudeau/celsius;

· clementblaudeau opened on Apr 22, 2020