Similar repositories to lambdabetaeta/modal-logics:
lambdabetaeta/modal-logics
github
similar
mikeshulman/ohtt
github
similar
danistefanovic/build-your-own-x
github
similar
RobertHarper/hott-notes
github
similar
yforster/coq-synthetic-computability
github
similar
martinescardo/HoTTEST-Summer-School
github
similar
maxsnew/grammars-and-semantic-actions
github
similar
danelahman/POPL18
github
similar
UlrikBuchholtz/nominal-hott
github
similar
laMudri/quantitative
github
similar
L-TChen/ModalTypeTheory
github
similar
bobatkey/agda-metric-reals
github
similar
michaelsproul/dblib-linear
github
similar
AndrasKovacs/preordertt
github
similar
jespercockx/reflection-tutorial
github
similar
Zekt/Type-Embellishment
github
similar
groupoid/anders
github
similar
jespercockx/tensors
github
similar
ayberkt/simplc
github
similar
Saizan/parametric-demo
github
similar
laMudri/generic-lr
github
similar
jonsterling/coq-domains
github
similar
pigworker/InteriorDesign
github
similar
robrix/Manifold
github
similar
andreasabel/ipl
github
similar
Vierkantor/refinement-parsers
github
similar
nachivpn/coherence
github
similar
oisdk/finiteness-in-cubical-type-theory
github
similar
andrejbauer/dependent-type-theory-syntax
github
similar
Lysxia/coq-recursion-schemes
github
similar
roc-lang/roc
github
similar
smlnj/smlnj
github
similar
ralsei/six-eyes
github
similar
tweag/awesome-learning-haskell
github
similar
jonsterling/lecture-notes
github
similar
maxsnew/virtual-equipments
github
similar
gallais/agdarky
github
similar
nachivpn/gluetn
github
similar
AndrasKovacs/polynomial-model
github
similar
bobatkey/system-f-parametricity-model
github
similar