teddycb/IsabelleClub
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Repo for Isabelle Club problems
6 Commits 1 Branch 0 Tags 44 KiB
Isabelle 89.4%
TeX 10.6%
main
Go to file
teddy cd52980c31 Updated README
2025-04-30 12:30:03 +01:00
document initial commit 2025-04-25 10:10:22 +01:00
VerifyThis2024 Updated README 2025-04-30 12:30:03 +01:00
LICENSE Initial commit 2025-04-25 09:03:16 +00:00
README.md Updated README 2025-04-30 12:30:03 +01:00
ROOTS initial commit 2025-04-25 10:10:22 +01:00

README.md

IsabelleClub

Repo for Isabelle Club problems

This repo requires the installation of the Archive of Formal Proofs (AFP) as a component to your isabelle version.

Download can be found here -> https://www.isa-afp.org/download/

Instructions for adding the AFP as a component can be found here -> https://www.isa-afp.org/help/