TheoremDB er en ny alfa-plattform der brukere kan bidra med Lean-bevis og utforske matematiske problemer, med mål om å bygge en åpen kunnskapsbase for maskinmatematikk.

Kilde: https://theoremdb.org/