Similar repositories to jpaykin/DifferentialCohesiveHoTT:

• jpaykin/DifferentialCohesiveHoTT github similar
• jpaykin/QuantumHIT github similar
• nakaday/Motivic_Verona github similar
• o29/n2o github similar
• peterlefanulumsdaine/higher-inductive-paper github similar
• jdoughertyii/hott-exercises github similar
• amutake/coq-extensible-effects github similar
• pigworker/LibAgda github similar
• nmvdw/groupoids github similar
• bacam/coqjvm github similar
• dschepler/coq-topology github similar
• neel-krishnaswami/adjs github similar
• HoTT/HoTT-2019 github similar
• nmvdw/Three-HITs github similar
• maximedenes/coq-amd64 github similar
• striot/striot github similar
• Chaaaos/formaltt github similar
• felixwellen/DCHoTT-Agda github similar
• flatmap/cobra github similar
• runtimeverification/algorand-verification github similar
• RobertHarper/hott-notes github similar
• ocamllabs/ocaml-effects github similar
• pedrotst/coquedille github similar
• groupoid/lean github similar
• ayberkt/formal-topology-in-UF github similar
• plum-umd/cgc github similar
• anuyts/menkar github similar
• pcapriotti/agda-base github similar
• uwplse/CoqAST github similar
• groupoid/groupoid.space github similar
• pigworker/shonky github similar
• wyager/HaSKI github similar
• andrejbauer/dedekind-reals github similar
• b-mehta/topos github similar
• guillaumebrunerie/initiality github similar
• cmu-phil/Spectral github similar
• goldfirere/effects github similar
• thescrivener/PursuingStacks github similar
• mikeshulman/catlog github similar
• semorrison/lean-category-theory github similar