Commits · main · Software / Pihmln

20 Jul, 2022 1 commit
- Added test proofs · 9a5d7cd7
  Frederik Haselmeier authored Jul 20, 2022
  
  9a5d7cd7
01 Jul, 2022 1 commit
- Added triple negation <-> single negation proof · caf2f382
  Frederik Haselmeier authored Jul 01, 2022
  
  caf2f382
29 Jun, 2022 1 commit
- Fixed Coq 8.14+ compile errors · f7644dd3
  Frederik Haselmeier authored Jun 29, 2022
  
  f7644dd3
07 Jun, 2022 1 commit
- attempts to fix, broke in OMSyntax · feb4eac3
  litak authored Jun 07, 2022
  
  feb4eac3
09 May, 2022 1 commit
- Added license · afc887d8
  Frederik Haselmeier authored May 09, 2022
  
  afc887d8
04 May, 2022 2 commits
- copying development from Frederik's MSc. At the moment, does not seem to compile under Coq 8.15 · 70c5b935
  litak authored May 04, 2022
  
  70c5b935
- Initial commit · 6d0c71b6
  Tadeusz Litak authored May 04, 2022
  
  6d0c71b6