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