I have seen the Config, and it is Markdown
I Bless Thy Debugger My Child
Tuesday, 28 July 2026
mathlib4 - the math library for LEAN
mathlib4 can be found
here
. It contains both programmatic infrastructure and mathematics.
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment