https://github.com/volhovm/mathlogic

Solutions for math logic course (fall-winter 2014)
https://github.com/volhovm/mathlogic

Last synced: 23 days ago
JSON representation

Solutions for math logic course (fall-winter 2014)

• Host: GitHub
• URL: https://github.com/volhovm/mathlogic
• Owner: volhovm
• Created: 2014-09-09T22:03:50.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2015-12-02T18:15:56.000Z (about 9 years ago)
• Last Synced: 2023-09-01T05:39:59.649Z (over 1 year ago)
• Language: Scala
• Size: 541 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
mathlogic

=========

Solutions for math logic course (III semester ITMO CT 17') tasks:

1.  ProofChecker (parser + verificator)

2.  DeductionTransformer

3.  Proof maker

4.  Predicates parsing, verificating, deduction

7.  CANCELED Division proofmaker

8.  Ordinals arithmetic