proofs_with_lean. An introduction to proofs with Lean using controled natural language

github.com/PatrickMassot/proofs_with_lean
by @PatrickMassot

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.