Similar repositories to Shamrock-Frost/BrouwerFixedPoint:
Shamrock-Frost/BrouwerFixedPoint
github
similar
coq-contribs/zfc
github
similar
leanprover-community/mathlib-tools
github
similar
vladimirias/Foundations
github
similar
dlicata335/hott-agda
github
similar
codyroux/name-the-biggest-number
github
similar
jesse-michael-han/lean-gptf
github
similar
flypitch/flypitch
github
similar
UniMath/agda-unimath
github
similar
martinescardo/TypeTopology
github
similar
leanprover/lean2
github
similar
leanprover-community/tutorials
github
similar
UniMath/SymmetryBook
github
similar
risc0/risc0
github
similar
leanprover-community/mathlib
github
similar
CatalaLang/catala
github
similar
AbsInt/CompCert
github
similar
leanprover/lean4
github
similar
HoTT/book
github
similar
agda/agda
github
similar
leanprover/lean
github
similar
official-stockfish/Stockfish
github
similar
gorhill/uBlock
github
similar