phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
669 Commits 19 Branches 10 Tags
ade2074598520b47db98246650adc09c822e2e98
Commit Graph
51 Commits
Author SHA1 Message Date
Alexander Bentkamp d6bd2c98da split off test game 
still need to adapt the call to the lean binary to provide two arguments
 2022-10-17 17:42:52 +02:00