aboutsummaryrefslogtreecommitdiff
path: root/proof.icl
AgeCommit message (Collapse)AuthorFilesLines
2016-06-10Minimalistic proverCamil Staps1-0/+18
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 05:05:16 +0000