//
sign in
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
A new open source project from our sister program, the Mathlib Initiative, at Renaissance Philanthropy. Check it out: mathlib-initiative.org/formal-front...
16d
mathlib-initiative.org
The Mathlib Initiative supports the development of mathematical libraries in the Lean theorem prover.
The Mathlib Initiative
Open Source for Science Fund