Frederik Haselmeier (9a5d7cd7) at 20 Jul 05:36
Added test proofs
Frederik Haselmeier (caf2f382) at 01 Jul 00:07
Added triple negation <-> single negation proof
Frederik Haselmeier (f7644dd3) at 29 Jun 20:29
Fixed Coq 8.14+ compile errors
Tadeusz Litak (feb4eac3) at 07 Jun 14:59
attempts to fix, broke in OMSyntax
Frederik Haselmeier (afc887d8) at 09 May 22:25
Added license
Tadeusz Litak (70c5b935) at 04 May 18:36
copying development from Frederik's MSc. At the moment, does not se...
Tadeusz Litak (6d0c71b6) at 04 May 18:20
Initial commit