The top documents tagged [logic of lean]
Notes on Lean for Dummies
14 views