Popular repositories Loading
-
choicepostnikov
choicepostnikov PublicFormalizing the fact that countable choice implies postnikov effectiveness in HoTT
Agda 6
-
Lean_Fundamental_Group
Lean_Fundamental_Group PublicDefining the fundamental group of a pointed topological space in lean
Lean 1
-
ring_ideals_form_a_semiring_lean
ring_ideals_form_a_semiring_lean Publicproving an elementary result, nothing very interesting
Lean
-
Elementary-Apartness-Spaces
Elementary-Apartness-Spaces PublicSome very simple aspects of the constructive theory of apartness spaces, based on the first sections of 'Apartness, Topology, and Uniformity: a Constructive View' by Douglas Bridges, Peter Schuster…
Lean
-
-
If the problem persists, check the GitHub status page or contact support.