m-yac/agda-knots
An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory
Agda
No issues in this repository yet.
An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory
Agda
No issues in this repository yet.