Post · bonfire.cafe

Post

Log in

@rzeta0@mathstodon.xyz · 2 weeks ago

You don't need a PhD to start writing simple maths proofs in Lean.

This beginner-friendly course gets you started making your first steps.

https://www.amazon.com/dp/B0DWHS1RDJ

#maths #leanprover #proofassistants #lean4

book cover maths proofs in lean first steps

https://www.amazon.com/dp/B0DWHS1RDJ

bonfire.cafe

A space for Bonfire maintainers and contributors to communicate

bonfire.cafe: About · Code of conduct · Privacy · Users · Instances

Bonfire social · 1.0.2-alpha.7 no JS en

Automatic federation enabled

Log in