# Lean enables correct, maintainable, and formally verified code

[Open the live Fudge conversation](https://design.withfudge.com/share/pin-5605)

Last updated: 2025-12-16

## Captured pages

[![Lean enables correct, maintainable, and formally verified code](https://pin.fontofweb.com/5605?format=jpg)](https://design.withfudge.com/share/pin-5605)

[Lean enables correct, maintainable, and formally verified code](https://design.withfudge.com/share/pin-5605)

This capture comes from [lean-lang.org/](lean-lang.org/). It uses **Open Sans**.

## Fonts captured from lean-lang.org/

- **Open Sans** — 1 captured variant