Commits · main · Max Ole Elliger / ZFC

Sep 05, 2023
- splitted setsizeeq equiv · 4852957a
  Max Ole Elliger authored 1 year ago
  
  4852957a
- some properties of union2, intersection2, ... · c4e2ba25
  Max Ole Elliger authored 1 year ago
  
  c4e2ba25
Sep 04, 2023
- error correction · c664e627
  Max Ole Elliger authored 1 year ago
  
  c664e627
- Makefile · 378b6038
  Max Ole Elliger authored 1 year ago
  
  378b6038
- renamed ZFC.v to Axioms.v · 0455e1c1
  Max Ole Elliger authored 1 year ago
  
  0455e1c1
- updated Makefile · 173a7c09
  Max Ole Elliger authored 1 year ago
  
  173a7c09
- init Morph, setsizeeq · 5f2e1bf2
  Max Ole Elliger authored 1 year ago
  
  5f2e1bf2
Jul 23, 2023
- rearrenged some defs · 206e1e92
  Max Ole Elliger authored 1 year ago
  
  View commits for tag comozfc-v1.0.0 comozfc-v1.0.0
  
  206e1e92
- reordered axioms · 940e50f4
  Max Ole Elliger authored 1 year ago
  
  940e50f4
- rm special_pair · 5fa00005
  Max Ole Elliger authored 1 year ago
  
  5fa00005
- derived pairing by rest axioms · 52444c85
  Max Ole Elliger authored 1 year ago
  
  52444c85
Jul 22, 2023
- selection is now derived by the other axioms · a4512ff7
  Max Ole Elliger authored 1 year ago
  
  a4512ff7
- various changes · e1a5c5d3
  Max Ole Elliger authored 1 year ago
  
  e1a5c5d3
- various changes · fbe10f32
  Max Ole Elliger authored 1 year ago
  
  fbe10f32
- stated zfc-axioms · 7a377a0e
  Max Ole Elliger authored 1 year ago
  
  View commits for tag zfc-stated zfc-stated
  
  7a377a0e
- updated project-lib-name · 042d764b
  Max Ole Elliger authored 1 year ago
  
  042d764b
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