vierkantor / cap-game-2024 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from alainchmt/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/
License: MIT License