| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | LICENSE | 1070 | logplain |
| -rw-r--r-- | README.md | 4872 | logplain |
| d--------- | api | 147 | logplain |
| d--------- | bin | 67 | logplain |
| -rw-r--r-- | chadprover.opam | 433 | logplain |
| -rw-r--r-- | dune-project | 232 | logplain |
| d--------- | lib | 382 | logplain |
| d--------- | src | 40 | logplain |
| d--------- | test | 120 | logplain |
 |
index : chadprover | |
| Software for automated proofs. | filip.rabiega@gmail.com |
| summaryrefslogtreecommitdiff |