| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | added api | filip | 11 months | |
| Age | Commit message | Author | ||
| 2024-08-16 | added apiHEADmaster | filip | ||
| 2025-04-22 | added a functional parser | filip | ||
| 2025-04-22 | set up dream | filip | ||
| 2025-04-22 | did a bunch of stuff | filip | ||
| 2025-04-22 | added nnf and cleaned up some utils | filip | ||
| 2025-04-22 | added data types | filip | ||
| 2025-04-22 | initial commit | filip | ||
| Clone | ||||
| git@rabiega.xyz:chadprover | ||||
 |
index : chadprover | |
| Software for automated proofs. | filip.rabiega@gmail.com |
| summaryrefslogtreecommitdiff |