Commits · main · Maximilian Beetz / Coq Exercises · GitLab

Snippets Groups Projects

Apr 11, 2024
- updated README for submodules · 31b47e29
  Max Ole Elliger authored 1 year ago
  
  View commits for tag comoex-v3.1.2 comoex-v3.1.2
  
  31b47e29
- Merge tag 'comoproj-v2.7.0-coqc-8.16.1-ocaml-4.13.1' · e26008a0
  Max Ole Elliger authored 1 year ago
  e26008a0
- Merge tag 'comoproj-v2.7.0' into pre-release/comoproj/coqc-8.16.1-ocaml-4.13.1 · 9a09249d
  Max Ole Elliger authored 1 year ago
  View commits for tag comoproj-v2.7.0-coqc-8.16.1-ocaml-4.13.1 comoproj-v2.7.0-coqc-8.16.1-ocaml-4.13.1
  
  9a09249d
- Merge branch 'include-coqdocjs' into 'main' · da69a0fc
  Max Ole Elliger authored 1 year ago
  View commits for tag comoproj-v2.7.0 comoproj-v2.7.0
  
  da69a0fc
Apr 10, 2024
- Included coqdocjs · c4b02fe4
  Max Ole Elliger authored 1 year ago
  c4b02fe4
Mar 16, 2024
- Merge branch 'include/comoproj-v2.6.2' into 'main' · 7817989c
  Max Ole Elliger authored 1 year ago
  View commits for tag comoex-v3.1.1 comoex-v3.1.1
  
  7817989c
- Added licensing-information to every file · 533a19f3
  Max Ole Elliger authored 1 year ago
  
  533a19f3
- Merge tag 'comoproj-v2.6.2-coqc-8.16.1-ocaml-4.13.1' into include/comoproj-v2.6.2 · 361720a3
  Max Ole Elliger authored 1 year ago
  361720a3
- Merge tag 'comoproj-v2.6.2' into pre-release/comoproj/coqc-8.16.1-ocaml-4.13.1 · 7b8f4361
  Max Ole Elliger authored 1 year ago
  View commits for tag comoproj-v2.6.2-coqc-8.16.1-ocaml-4.13.1 comoproj-v2.6.2-coqc-8.16.1-ocaml-4.13.1
  
  7b8f4361
- Merge branch 'explicit-licensing' into 'main' · 7ab703cb
  Max Ole Elliger authored 1 year ago
  View commits for tag comoproj-v2.6.2 comoproj-v2.6.2
  
  7ab703cb
- Added licensing-information in every file · ef8098f1
  Max Ole Elliger authored 1 year ago
  
  ef8098f1
Mar 15, 2024
- Created .mailmap · 80152cef
  Max Ole Elliger authored 1 year ago
  
  80152cef
Feb 26, 2024
- Merge branch 'docs/headlines' into 'main' · eb4d2881
  Max Ole Elliger authored 1 year ago
  View commits for tag comoex-v3.1.0 comoex-v3.1.0
  
  eb4d2881
- Merge branch '45-remove-restart-undo-warnings' into 'main' · d49e387c
  Max Ole Elliger authored 1 year ago
  d49e387c
- Merge branch 'new-ind' into 'main' · f0067b3f
  Max Ole Elliger authored 1 year ago
  f0067b3f
Feb 25, 2024
- fix typos · 4355068f
  Leon Vatthauer authored 1 year ago
  
  4355068f
Feb 24, 2024
- rm ind/OldMaterial.v · dcfc326d
  Max Ole Elliger authored 1 year ago
  
  dcfc326d
- ind/Gauss.v · ab4b26d7
  Max Ole Elliger authored 1 year ago
  
  ab4b26d7
- some improvements · 526a2feb
  Max Ole Elliger authored 1 year ago
  
  526a2feb
- ind/ConjunctiveFalseness.v · 8752df18
  Max Ole Elliger authored 1 year ago
  
  8752df18
- ind/Multiplication.v · e3e19b4e
  Max Ole Elliger authored 1 year ago
  
  e3e19b4e
- ind/Multiplication.v · c28892b6
  Max Ole Elliger authored 1 year ago
  
  c28892b6
- commented disjunctive_correctness · c1694196
  Max Ole Elliger authored 1 year ago
  
  c1694196
Feb 23, 2024
- Updated add_comm-section in ind/Intro.v · 88a5af45
  Max Ole Elliger authored 1 year ago
  
  88a5af45
Feb 22, 2024
- commented add_assoc · cc5e50f1
  Max Ole Elliger authored 1 year ago
  
  cc5e50f1
- started work on new Induction chapter · ebf9e2f6
  Max Ole Elliger authored 1 year ago
  
  ebf9e2f6
Feb 19, 2024
- Merge branch 'include/comoproj-v2.6.0' into 'main' · 22a0ff3c
  Max Ole Elliger authored 1 year ago
  View commits for tag comoex-v3.0.0 comoex-v3.0.0
  
  22a0ff3c
Feb 09, 2024
- included comoproj-v2.6.1 · 2dfa25de
  Max Ole Elliger authored 1 year ago
  
  2dfa25de
- Merge tag 'comoproj-v2.6.1' into pre-release/comoproj/coqc-8.16.1-ocaml-4.13.1 · 02377526
  Max Ole Elliger authored 1 year ago
  View commits for tag comoproj-v2.6.1-coqc-8.16.1-ocaml-4.13.1 comoproj-v2.6.1-coqc-8.16.1-ocaml-4.13.1
  
  02377526
Jan 29, 2024
- added explicit latest tag to docker image · 53c9a165
  Max Ole Elliger authored 1 year ago
  
  View commits for tag comoproj-v2.6.1 comoproj-v2.6.1
  
  53c9a165
- Merge branch 'main-patch' into 'main' · f4ce9612
  Max Ole Elliger authored 1 year ago
  View commits for tag comoproj-v2.6.0 comoproj-v2.6.0
  
  f4ce9612
Jan 28, 2024
- Update LICENSE · 8491b8f7
  Max Ole Elliger authored 1 year ago
  
  8491b8f7
Jan 25, 2024
- Merge branch 'include/coq-equations' into 'main' · 023f2101
  Max Ole Elliger authored 1 year ago
  View commits for tag comoproj-v2.5.0 comoproj-v2.5.0
  
  023f2101
- added coq-equations to gitlab-ci · 8ad61ab6
  Max Ole Elliger authored 1 year ago
  8ad61ab6
Jan 03, 2024
- Merge branch 'ci/artifacts-update' into 'main' · 6fb69ff5
  Max Ole Elliger authored 1 year ago
  View commits for tag comoproj-v2.4.1 comoproj-v2.4.1
  
  6fb69ff5
Dec 30, 2023
- .gitlab-ci.yml: artifacts-path is now html/* · 9cef2f61
  Max Ole Elliger authored 1 year ago
  9cef2f61
Dec 27, 2023
- updated README · 501d1c0d
  Max Ole Elliger authored 1 year ago
  
  View commits for tag comoproj-v2.4.0 comoproj-v2.4.0
  
  501d1c0d
- Merge branch 'include/readmo/v1.0.0' into 'main' · 9b2b800d
  Max Ole Elliger authored 1 year ago
  9b2b800d
- Have _CoqProject depend on all directories in COMPONENTS · 619dbd15
  Philip Kaluđerčić authored 1 year ago and Max Ole Elliger committed 1 year ago
  619dbd15
- Inject list of all files into _CoqProject · c7ada278
  Philip Kaluđerčić authored 1 year ago and Max Ole Elliger committed 1 year ago
  c7ada278