0art0 / Freudenthal-Hopf

Formalisation of the Freudenthal-Hopf theorem in Lean.

Geek Repo

Github PK Tool

Freudenthal-Hopf

Formalisation of the Freudenthal-Hopf theorem in Lean.

About

Formalisation of the Freudenthal-Hopf theorem in Lean.

GNU General Public License v3.0

Languages

Language:Lean 46.2%Language:TeX 18.3%Language:HTML 14.5%Language:JavaScript 12.1%Language:CSS 5.3%Language:Python 1.7%Language:Emacs Lisp 1.5%Language:sed 0.2%Language:Perl 0.1%Language:Dockerfile 0.1%Language:Shell 0.1%