GitHub repository: shua/leanknot
Primary language: Lean
Created: 2020-07-16T19:32:43Z
Description: Some formalizations of knot theory ideas in lean