tchajed/chomp
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
2 commits 1 branch 0 tags 29 KiB
  • Rocq Prover 100%
Find a file
Exact
Tej Chajed 0e11dd9a7b
 Prove extensional equality for states 
Extensionality of the invariant inside a state follows from functional
extensionality combined with UIP for bool (which is obviously
decidable).
2016-11-17 14:11:03 -05:00
chomp.v Prove extensional equality for states 2016-11-17 14:11:03 -05:00
README.md Add some initial definitions and lemmas 2016-11-17 14:02:53 -05:00

README.md

Chomp

Formalizing and solving the game of Chomp in Coq.