aboutsummaryrefslogtreecommitdiff
path: root/prover_snapshots
ModeNameSize
-rw-r--r--README.md289logplain
d---------coq266logplain
d---------hol4233logplain
d---------isabelle162logplain