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/](lean-lang.org/). It uses Open Sans.

Fonts captured from lean-lang.org/