Logic and Proof – learning proving with Lean #1 Post by hexhex » Tue, Aug 07, 2018, 5:45 PM UTC Logic and Proof – learning proving with Leanavigad.github.io