Mujirin
Owner
41 documents created · 3 edits · 2 documents verified
TheoryTrace Contributors
Lean from First Proofs to Formalized Mathematics
A summary of who initiated the book or created, edited, and verified its documents.
lugoblogger@gmail.com
Initiated this book · 0 documents created · 0 edits · 0 documents verified