Similar repositories to jonsterling/coq-algebra:

• jonsterling/coq-algebra github similar
• tootsuite/mastodon github similar
• Eugeny/terminus github similar
• meilisearch/MeiliSearch github similar
• kbuzzard/etale_experiments github similar
• Kaptch/course_project_3year github similar
• jpaykin/QuantumHIT github similar
• jacksontvd/langlands_sp21 github similar
• konn/laurent github similar
• DanGrayson/VV-C-system-from-a-monad github similar
• jalex-stark/lean-at-MC2020 github similar
• jonsterling/problemes-dans-les-topos github similar
• nmvdw/RezkCompletion github similar
• cj-xu/PC19 github similar
• MaiaVictor/escoc-libs-legacy github similar
• felixwellen/synthetic-geometry github similar
• paolobrasolin/jekyll-sheafy github similar
• groupoid/infinity github similar
• arthuraa/beaq github similar
• ice1000/vscode-arend github similar
• jonsterling/agda-synthetic-domain-theory github similar
• groupoid/agda github similar
• srid/tailwind-haskell github similar
• anthonyywangmath/tikzsd github similar
• tlringer/thesis github similar
• CategoricalData/HoTT-categories github similar
• leanprover/lean4-nightly github similar
• maxsnew/virtual-equipments github similar
• mb64/LC-interpreter github similar
• Trebor-Huang/Down-The-Path github similar
• RobertHarper/hott-notes github similar
• emilyriehl/721 github similar
• agentultra/lean-for-hackers github similar
• leanprover/std4 github similar
• mb64/xtt github similar
• arthuraa/agda-hoas-demo github similar
• paolobrasolin/commutative-diagrams github similar
• ralsei/six-eyes github similar
• kbuzzard/lean-stacks-project github similar
• groupoid/homotopy github similar