git @ Cat's Eye Technologies Eqthy / 52d3940
add test for constant and function name uniqueness Proloy Mishra 1 year, 7 months ago
1 changed file(s) with 7 addition(s) and 0 deletion(s). Raw diff Collapse all Expand all
+7
-0
eg/incorrect/const-unique.eqthy.md less more
0 theorem 1=1 proof 1=1 qed
1 theorem 2=2 proof 2=2 qed
2 theorem 1=2
3 proof
4 1=1
5 1=2
6 qed