/Homotopy-Finiteness

A formalisation of the homotopy finiteness proof in Jonas Hoefer's prototype, and some applications.

Primary LanguageEmacs Lisp

Watchers