Lean

swMATH15148MaRDI QIDQ27041

No author found.

Source code repository: https://github.com/leanprover/lean

Described by source

• Formalizing Double Groupoids and Cross Modules in the Lean Theorem Prover
• The Lean Theorem Prover (System Description)