Similar repositories to nad/equality:

• nad/equality github similar
• nachivpn/gluetn github similar
• IanOrton/cubical-topos-experiments github similar
• omelkonian/formal-utxo github similar
• mietek/imla2017 github similar
• lambdabetaeta/modal-logics github similar
• twanvl/ttie github similar
• jmchapman/Relative-Monads github similar
• bobatkey/agda-metric-reals github similar
• effectfully/Generic github similar
• cedille/cedille-developments github similar
• mr-ohman/logrel-mltt github similar
• bellissimogiorno/nominal github similar
• wenkokke/AutoInAgda github similar
• FrozenWinters/stlc github similar
• Saizan/cubical-demo github similar
• vladimirias/Foundations github similar
• jespercockx/ataca github similar
• fredefox/cat github similar
• InitialTypes/Club github similar
• mortberg/yacctt github similar
• sweirich/corespec github similar
• pigworker/MetaprogAgda github similar
• martinescardo/TypeTopology github similar
• sweirich/tal github similar
• ezyang/logitext github similar
• A1kmm/proofsweeper github similar
• cpitclaudel/alectryon github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• goldfirere/thesis github similar
• wilbowma/cur github similar
• RedPRL/sml-redprl github similar
• DSLsofMath/DSLsofMath github similar
• agda/cubical github similar
• mortberg/cubicaltt github similar
• agda/agda-stdlib github similar
• sleexyz/hylogen github similar
• JetBrains/Arend github similar
• CakeML/cakeml github similar
• plfa/plfa.github.io github similar