Et prosjekt som bruker Lean 4 til å gjøre databaseskjema, spørringer og migreringer til typer som kompilatoren kan verifisere.

Kilde: https://theoric.com/blog/drafts/leandb_a_strongly_typed_sql_frontend/