search

nomeata / incredible

The Incredible Proof Machine
MIT License
359 stars 36 forks source link

Lower numbers for session 4 and most of session 6 #87

Closed acipm closed 8 years ago

acipm commented 8 years ago

Didn't manage the last two proofs of session 6 yet. :/