#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
-
Notifications
You must be signed in to change notification settings - Fork 0
vi34/Mathlogic
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Mathlogic homework
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published