aboutsummaryrefslogtreecommitdiff
path: root/reverse-ward.smf
AgeCommit message (Expand)AuthorFilesLines
2016-06-10Induction proofs using variables & assumptionsCamil Staps1-0/+6
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-12 20:37:27 +0000