Lean enables correct, maintainable, and formally verified code
A Fudge conversation about the captured design, fonts, and colors of Lean enables correct, maintainable, and formally verified code.
Show me the design details captured from Lean enables correct, maintainable, and formally verified code.
Captured pages
This capture comes from lean-lang.org. It uses Open Sans.
Fonts captured from lean-lang.org
How Fudge assembled this page
Fudge automatically assembled this profile from the saved capture and its extracted typography and color observations. Unknown facts are omitted.