Commits · main · Max Ole Elliger / Numbers

Aug 16, 2023
- correct definition of quoteq \ · aa507b4f
  Max Ole Elliger authored 1 year ago
  aa507b4f
Aug 10, 2023
- added Z0 Z1 · 64fab0bb
  Max Ole Elliger authored 1 year ago
  
  64fab0bb
- Merge remote-tracking branch 'origin/1-finish-current-theorems-in-z' into... · 268f6f1e
  Max Ole Elliger authored 1 year ago
  268f6f1e
- solved missing Z-theorems using Lia · 55d4e512
  Max Ole Elliger authored 1 year ago
  
  55d4e512
- solved diffeq-transitivity · 58f23f76
  Max Ole Elliger authored 1 year ago
  
  58f23f76
- finished mulZ_comm · 37a2e220
  Max Ole Elliger authored 1 year ago
  
  37a2e220
- finished addZ_comm · 7b3c3f2d
  Max Ole Elliger authored 1 year ago
  
  7b3c3f2d
Aug 04, 2023
- Merge branch '23-relationclasses' into 'main' · 233cf7ec
  Max Ole Elliger authored 1 year ago
  233cf7ec
- instanciate diffeq and quoteq as Instances from RelationClasses · 35df4aff
  Max Ole Elliger authored 1 year ago
  
  35df4aff
Jul 26, 2023
- finished mulZ_comm · 7df91e8e
  Max Ole Elliger authored 1 year ago
  
  7df91e8e
- finished addZ_comm · 241ba7f1
  Max Ole Elliger authored 1 year ago
  
  241ba7f1
Jul 25, 2023
- solved quoteq_reflexive and quoteq_symmetric · e99d6988
  Max Ole Elliger authored 1 year ago
  
  View commit e99d6988 2 tags
  
  e99d6988
- init Q · 74747de3
  Max Ole Elliger authored 1 year ago
  
  74747de3
- updated project lib name · dcabd466
  Max Ole Elliger authored 1 year ago
  
  dcabd466
- Defined Z in Z · c3cadffd
  Max Ole Elliger authored 1 year ago
  
  c3cadffd
- init commit, added Z · 67473170
  Max Ole Elliger authored 1 year ago
  
  67473170
Jul 17, 2023
- 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
- Revert "Update Makefile: CoMoProj -> CoMoTemplate" · ca48cc45
  Max Ole Elliger authored 1 year ago
  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
- Update .gitlab-ci.yml file · 55d9fe1b
  Max Ole Elliger authored 1 year ago
  55d9fe1b
Jul 09, 2023
- updated .gitingore · 92a7bba0
  Max Ole Elliger authored 1 year ago
  
  92a7bba0
- reordering · 463bb62d
  Max Ole Elliger authored 1 year ago
  
  463bb62d
- Now, the Makefile deals with a missing src-folder · bb0bf358
  Max Ole Elliger authored 1 year ago
  
  bb0bf358
- init commit + push · 8b48ef11
  Max Ole Elliger authored 1 year ago
  
  8b48ef11