Skip to the content.

Lean--LMFDB bridge

by Chris Birkbeck and David Roe and Andrew Sutherland

Blueprint (web) Blueprint (pdf) Documentation GitHub

Useful links:

Zulip chat for Lean for coordination
Blueprint
Blueprint as pdf
Dependency graph
Doc pages for this repository

LeanBridge is maintained by Chris Birkbeck \and David Roe \and Andrew Sutherland. Visit the GitHub repository for more information.