Logic and Proof – learning proving with Lean(avigad.github.io)1 points by hexhex 8 years ago | 0 commentsNo comments yet