My experimentation with theorem provers
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Greg Shuflin be618f9a74 Add random game 8 months ago
gamarjoba.lean Check directive 8 months ago
justfile Initial commit 8 months ago
random_game.lean Add random game 8 months ago