| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | headers.ml | 170 | logplain |
| -rw-r--r-- | sequent_proof.ml | 1190 | logplain |
| -rw-r--r-- | sequent_rules.ml | 2335 | logplain |
 |
index : chadprover | |
| Software for automated proofs. | filip.rabiega@gmail.com |
| summaryrefslogtreecommitdiff |
|
index : chadprover | |
| Software for automated proofs. | filip.rabiega@gmail.com |
| summaryrefslogtreecommitdiff |
| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | headers.ml | 170 | logplain |
| -rw-r--r-- | sequent_proof.ml | 1190 | logplain |
| -rw-r--r-- | sequent_rules.ml | 2335 | logplain |