Logic and Proof – learning proving with Lean(avigad.github.io)1 points·by hexhex·8 anni fa·0 commentsavigad.github.ioLogic and Proof – learning proving with Leanhttp://avigad.github.io/logic_and_proof/0 commentsPost comment—