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