Commits · main · Fuad Agaev / Mizar Project in Delphi

Oct 11, 2023
- Flex-and substitution reported by Mario (4) fixed · 9e814a95
  Artur Kornilowicz authored 1 year ago
  
  9e814a95
- Limits MaxFuncNbr and MaxTheoNbr for exporter increased · 06d2c77e
  Artur Kornilowicz authored 1 year ago
  
  06d2c77e
Oct 10, 2023
- Merge branch 'main' into flex · 54fd05a7
  Artur Kornilowicz authored 1 year ago
  
  54fd05a7
- Flex-and unfolding corrected - reported by Mario (3) · 56c75e94
  Artur Kornilowicz authored 1 year ago
  
  56c75e94
- Polynomial overflow reported by Mario fixed · 535387d4
  Mizar Project authored 1 year ago
  
  535387d4
Oct 04, 2023
- Merge branch 'main' into flex · 6b201e57
  Artur Kornilowicz authored 1 year ago
  
  6b201e57
- Negations in schematizer corrected - reported by Mario (2) · f399bba4
  Artur Kornilowicz authored 1 year ago
  
  f399bba4
- flex ... · 755ecc03
  Artur Kornilowicz authored 1 year ago
  
  755ecc03
Feb 21, 2023
- Update README.md · baeed3ca
  Mizar Project authored 2 years ago
  
  baeed3ca
- Add files via upload · 0e04031b
  Mizar Project authored 2 years ago
  
  0e04031b
- Add files via upload · 56960d8d
  Mizar Project authored 2 years ago
  
  56960d8d
- Initial commit · e34501dd
  Mizar Project authored 2 years ago
  
  e34501dd