greg
/
theorem-provers
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Commit Graph

  • be618f9a74 Add random game master Greg Shuflin 2022-05-30 19:22:44 -0700
  • 1a5d5f7b59 Check directive Greg Shuflin 2022-05-30 19:03:42 -0700
  • 7912636be6 Read from stdin Greg Shuflin 2022-05-30 17:40:22 -0700
  • ed91280a4d Initial commit Greg Shuflin 2022-05-30 17:35:28 -0700