| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | added a functional parser | filip | 2025-04-22 |
 |
index : chadprover | |
| Software for automated proofs. | filip.rabiega@gmail.com |
| summaryrefslogtreecommitdiff |
|
index : chadprover | |
| Software for automated proofs. | filip.rabiega@gmail.com |
| summaryrefslogtreecommitdiff |
| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | added a functional parser | filip | 2025-04-22 |