Pages that link to "Item:Q2751538"
From MaRDI portal
The following pages link to Development of the theory of continuous lattices in MIZAR (Q2751538):
Displaying 5 items.
- Mechanizing complemented lattices within Mizar type system (Q286797) (← links)
- MPTP-motivation, implementation, first experiments (Q556682) (← links)
- Commutative algebra in the Mizar system (Q597122) (← links)
- An example of formalizing recent mathematical results in MIZAR (Q865630) (← links)
- A compendium of continuous lattices in MIZAR (Q1868506) (← links)