Pages that link to "Item:Q3637272"
From MaRDI portal
The following pages link to ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System (Q3637272):
Displayed 4 items.
- Formalization of a normalization theorem in simplicial topology (Q1926582) (← links)
- Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System (Q3003483) (← links)
- Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials (Q3088007) (← links)
- ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System (Q3637272) (← links)