| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | added apiHEADmaster | filip | 2024-08-16 |
| | | |||
| * | 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 | 2025-04-22 |
 |
index : chadprover | |
| Software for automated proofs. | filip.rabiega@gmail.com |
| summaryrefslogtreecommitdiff |