Armaël Guéneau (ee61f8cd) at 16 Nov 13:39
Armaël Guéneau (acaaa588) at 28 Oct 20:37
Armaël Guéneau (acaaa588) at 28 Oct 15:18
docs/proof_guide.md: fix broken link
... and 454 more commits
Armaël Guéneau (5b6ab906) at 02 Oct 14:53
Armaël Guéneau (5b6ab906) at 01 Oct 21:20
Implement a more conservative ident_for_pat_default, which simplifi...
... and 17 more commits
Armaël Guéneau (446e4a22) at 01 Oct 12:31
Implement a more conservative ident_for_pat_default, which simplifi...
... and 5 more commits
Armaël Guéneau (a517c26e) at 01 Oct 12:30
Implement a more conservative ident_for_pat_default, which simplifi...
... and 4 more commits
Armaël Guéneau (2cc0d098) at 20 Sep 10:35
add tests for edge cases in iDestruct's name reuse
... and 2 more commits
Armaël Guéneau (93a12b44) at 19 Sep 20:57
add CHANGELOG entry
Armaël Guéneau (b8e829c9) at 19 Sep 20:54
add a test for an edge case in iDestruct's name reuse
Armaël Guéneau (b53a87ad) at 19 Sep 20:52
add a test for an iDestruct's name reuse edge case
... and 2 more commits
Armaël Guéneau (729ee64c) at 10 Sep 11:43
Optimize iDestruct IIntuitionistic/ISpatial/IModalElim cases
Armaël Guéneau (3bc9c580) at 10 Sep 11:11
Optimize iDestruct IIntuitionistic/ISpatial/IModalElim cases
... and 13 more commits
Armaël Guéneau (5e204e90) at 09 Sep 15:49
optimize iDestruct