-
Notifications
You must be signed in to change notification settings - Fork 0
ProofChecker is a compiler/proofer for mathematical notations and theories. Once finished, it should be able to parse mathematical notations including definitions, theorems and proofs and point out to errors if any.
oggy22/ProofChecker
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
About
ProofChecker is a compiler/proofer for mathematical notations and theories. Once finished, it should be able to parse mathematical notations including definitions, theorems and proofs and point out to errors if any.
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published