aboutsummaryrefslogtreecommitdiff
path: root/prover_snapshots
AgeCommit message (Collapse)AuthorFilesLines
2022-01-19Add support for Zfh extension (#129)Bilal Sakhawat8-0/+1429
2021-07-27Add licenses to Lem and Sail library snapshotsThomas Bauereiss5-0/+279
2021-07-26Update HOL4 snapshotBrian Campbell26-28649/+70764
2021-07-26Update versions in Coq snapshot readmeBrian Campbell1-3/+3
2021-07-26Update Coq snapshotBrian Campbell17-33662/+37186
Also tweak Makefile to remove new Coq generated files
2021-07-26Update Isabelle snapshotsThomas Bauereiss51-49997/+90692
2020-06-18Update Coq snapshotsBrian Campbell35-85390/+98033
2019-08-14Update Coq snapshotsBrian Campbell23-2543/+6122
2019-07-26Fix HOL4 snapshot for recent versions of HOL4Thomas Bauereiss2-4/+2
Also fix "clean" target in Holmakefile
2019-07-25Add snapshots of theorem prover definitionsThomas Bauereiss148-0/+304756
generated by cgit v1.1 at 2024-11-05 09:20:36 +0000