Pages that link to "Item:Q5495932"
From MaRDI portal
The following pages link to Flexary Operators for Formalized Mathematics (Q5495932):
Displaying 5 items.
- Flexary connectives in Mizar (Q1749141) (← links)
- Variadic equational matching in associative and commutative theories (Q2029000) (← links)
- Formal Logic Definitions for Interchange Languages (Q3453113) (← links)
- Readable Formalization of Euler’s Partition Theorem in Mizar (Q3453116) (← links)
- Towards Knowledge Management for HOL Light (Q5495935) (← links)
