Pages that link to "Item:Q2819195"
From MaRDI portal
The following pages link to Formalizing Double Groupoids and Cross Modules in the Lean Theorem Prover (Q2819195):
Displayed 1 item.
- Lean (Q27041) (← links)
The following pages link to Formalizing Double Groupoids and Cross Modules in the Lean Theorem Prover (Q2819195):
Displayed 1 item.