Pages that link to "Item:Q3003483"

The following pages link to Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System (Q3003483):

Displaying 3 items.

• Formalization of a normalization theorem in simplicial topology (Q1926582) (← links)
• Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← links)
• Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials (Q3088007) (← links)