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 1 item.
The following pages link to ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System (Q3637272):
Displayed 1 item.