Lean

swMATH15148MaRDI QIDQ27041FDOQ27041

Author name not available (Why is that?)

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)

This page was built for software: Lean