teddycb/IsabelleClub
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Repo for Isabelle Club problems
7 Commits 1 Branch 0 Tags 481 KiB
TeX 83.8%
Isabelle 16.2%
main
Go to file
teddy d7a0307bca quick commit
2026-02-05 16:21:51 +00:00
document initial commit 2025-04-25 10:10:22 +01:00
Lifting quick commit 2026-02-05 16:21:51 +00:00
Probability quick commit 2026-02-05 16:21:51 +00:00
VerifyThis2024 quick commit 2026-02-05 16:21:51 +00: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 quick commit 2026-02-05 16:21:51 +00: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/