Skip to content
generated from hhu-adam/GameSkeleton

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

Notifications You must be signed in to change notification settings

alainchmt/CAPGame

Repository files navigation

About

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/

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 3

  •  
  •  
  •