Desargues AI

Lean-formalized training data for frontier AI labs, from verified mathematicians.

For labs·For mathematicians