joneugster/CAP-Game-2024
New version of the CAP Game in Lean 4. Created as material for the course computer assisted proofs at the Vrije Universiteit Amsterdam. Original found at https://alexjbest.github.io/CAP-game/
LeanMIT
Stargazers
No one’s star this repository yet.