An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory
Primary LanguageAgda