This is a template for creating a game with lean4game. It contains a single Level plus the files needed for a local development setup.
The documentation about how to use this template are at the lean4game repository:
generated from hhu-adam/GameSkeleton
-
Couldn't load subscription status.
- Fork 3
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
Couldn't load subscription status.
alainchmt/CAPGame
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
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 0
No packages published