| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | 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 |