Commits · comoex-v1.1.0 · Max Ole Elliger / Coq Exercises

Aug 04, 2023
- Merge branch 'more-examples' into 'main' · 71ca25d6
  Max Ole Elliger authored 1 year ago
  
  More examples See merge request !32
  View commits for tag comoex-v1.1.0 comoex-v1.1.0
  
  71ca25d6
Jul 24, 2023
- added se_2 - se_6 to Forall.v · 8fcb5d6b
  Max Ole Elliger authored 1 year ago
  
  8fcb5d6b
Jul 20, 2023
- added se_5 se_6 se_7 · 22ca23dd
  Max Ole Elliger authored 1 year ago
  
  22ca23dd
- added forall_ex_1 · 90617329
  Max Ole Elliger authored 1 year ago
  
  90617329
- added se_4 · 59290ecb
  Max Ole Elliger authored 1 year ago
  
  59290ecb
Jul 18, 2023
- removed exists_comm_if and exists_comm_iff, because it's not provable · 3f5e008a
  Max Ole Elliger authored 1 year ago
  
  Signed-off-by: Max Ole Elliger <ole.elliger@fau.de>
  View commits for tag comoex-v1.0.2 comoex-v1.0.2
  
  3f5e008a
Jul 17, 2023
- Merge tag 'comoproj-v1.1.0' · 7814ba52
  Max Ole Elliger authored 1 year ago
  
  View commits for tag comoex-v1.0.1 comoex-v1.0.1
  
  7814ba52
- added LICENSE · 40fa2647
  Max Ole Elliger authored 1 year ago
  
  View commits for tag comoproj-v1.1.0 comoproj-v1.1.0
  
  40fa2647
Jul 13, 2023
- Merge tag 'comoproj-v1.0.1' · 9c1fe0bb
  Max Ole Elliger authored 1 year ago
  
  View commits for tag comoex-v1.0.0 comoex-v1.0.0
  
  9c1fe0bb
- Revert "Update Makefile: CoMoProj -> CoMoTemplate" · ca48cc45
  Max Ole Elliger authored 1 year ago
  
  This reverts commit 9b2fa95a.
  View commits for tag comoproj-v1.0.1 comoproj-v1.0.1
  
  ca48cc45
- Update Makefile: CoMoProj -> CoMoTemplate · 9b2fa95a
  Max Ole Elliger authored 1 year ago
  
  9b2fa95a
- Merge remote-tracking branch 'template/main' · ee23dc5a
  Max Ole Elliger authored 1 year ago
  
  ee23dc5a
- Update .gitlab-ci.yml file · 55d9fe1b
  Max Ole Elliger authored 1 year ago
  
  Set 8.16.1 as coq-version
  55d9fe1b
Jul 09, 2023
- Merge remote-tracking branch 'template/main' · fdc3414b
  Max Ole Elliger authored 1 year ago
  
  fdc3414b
- updated .gitingore · 92a7bba0
  Max Ole Elliger authored 1 year ago
  
  92a7bba0
- removed todo from Makefile · 7a58a708
  Max Ole Elliger authored 1 year ago
  
  7a58a708
- _CoqProject is now constructed by Makefile · e105b51d
  Max Ole Elliger authored 1 year ago
  
  e105b51d
- added _CoqProject again, because it seems to be needed · e383486a
  Max Ole Elliger authored 1 year ago
  
  e383486a
- Changed remaining (* to (** · 44d94ca7
  Max Ole Elliger authored 1 year ago and Max Ole Elliger committed 1 year ago
  
  44d94ca7
- Delete Dockerfile (unused) · 0bc27b1e
  Max Ole Elliger authored 1 year ago and Max Ole Elliger committed 1 year ago
  
  0bc27b1e
- updated README for html · b417c9f7
  Max Ole Elliger authored 1 year ago
  
  b417c9f7
- improved Makefile, so it can now create html-files · 7a7cffb0
  Max Ole Elliger authored 1 year ago
  
  7a7cffb0
- Update .gitlab-ci.yml file · abbc0c61
  Max Ole Elliger authored 1 year ago and Max Ole Elliger committed 1 year ago
  
  abbc0c61
- testing cicd · 4445d7c3
  Max Ole Elliger authored 1 year ago
  
  4445d7c3
- new try · 33d11f0d
  Max Ole Elliger authored 1 year ago
  
  33d11f0d
- added some todo's to README · 1016a46e
  Max Ole Elliger authored 1 year ago
  
  1016a46e
- added Feedback to README · 4b16f688
  Max Ole Elliger authored 1 year ago
  
  4b16f688
- Added forall_comm to Forall.v · 512739d3
  Max Ole Elliger authored 2 years ago
  
  512739d3
- Added (one) comment. Should be enough (?) · ecd6f320
  Max Ole Elliger authored 2 years ago
  
  ecd6f320
- Used Q instead of P in exists_comm_ops (fix) · 4c90a9cf
  Max Ole Elliger authored 2 years ago
  
  4c90a9cf
- Added exists_comm to Exists.v, comments missing · c222a47d
  Max Ole Elliger authored 2 years ago
  
  c222a47d
- Another change · a144a41e
  Max Ole Elliger authored 2 years ago
  
  a144a41e
- Some small updates to Groups · 406537f6
  Max Ole Elliger authored 2 years ago
  
  406537f6
- Added Groups · eaf82365
  Max Ole Elliger authored 2 years ago
  
  eaf82365
- Commented Forall.v · 64a84f40
  Max Ole Elliger authored 2 years ago
  
  64a84f40
- Added Forall.v to get rid of SOL-Problem. · 50233a68
  Max Ole Elliger authored 2 years ago
  
  deleted LawsFOL deleted ForallE updated README, _CoqProject
  50233a68
- Added trivial_iff to LawsFOL · 59cf32ea
  Max Ole Elliger authored 2 years ago
  
  59cf32ea
- Added trivial_iff to Laws · 03a70218
  Max Ole Elliger authored 2 years ago
  
  03a70218
- Updated README for FOL · 9baa3171
  Max Ole Elliger authored 2 years ago
  
  9baa3171
- Updated README · 5fb85077
  Max Ole Elliger authored 2 years ago
  
  - Added Exist - Added missing dependencies
  5fb85077