Homotopy type theory: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

27 December 2013

  • curprev 05:5005:50, 27 December 2013 en>ChrisGualtieri m 5,248 bytes +5,248 →External links: Remove stub template(s). Page is start class or higher. Also check for and do General Fixes + Checkwiki fixes using AWB
Retrieved from "https://en.formulasearchengine.com/wiki/Homotopy_type_theory"