Similar repositories to nachivpn/expelim:
nachivpn/expelim
github
similar
oven-sh/bun
github
similar
danistefanovic/build-your-own-x
github
similar
hecrj/iced
github
similar
yforster/coq-synthetic-computability
github
similar
smlnj/smlnj
github
similar
pigworker/SmolCat
github
similar
plt-amy/cubical-methods
github
similar
ralsei/six-eyes
github
similar
nmvdw/RezkCompletion
github
similar
ronami/HypeScript
github
similar
xuanruiqi/commalg
github
similar
elpinal/duploids
github
similar
pamellies/models-of-programming-languages
github
similar
mr-ohman/intuitionistic-normalization
github
similar
andrejbauer/higher-rank-syntax
github
similar
konn/vscode-redtt-diagnostics
github
similar
silvanshade/agda-nr-cats
github
similar
nachivpn/k
github
similar
wrengr/exact-combinatorics
github
similar
maxsnew/cubical-cbpv
github
similar
uelis/contextual
github
similar
DreamLinuxer/FracAncilla
github
similar
RobertHarper/pfpl-defns
github
similar
JacquesCarette/agda-algebras
github
similar
TOTBWF/cooltt-categories
github
similar
jonsterling/guarded-theories
github
similar
superhaNds/cwfs
github
similar
AndrasKovacs/preordertt
github
similar
jonsterling/coq-domains
github
similar
TOTBWF/agda-sgd
github
similar
guillaumebrunerie/SmashProduct
github
similar
jirkamarsik/lambda-mu
github
similar
amblafont/UniversalII
github
similar
TOTBWF/agda-groups
github
similar
tomdjong/TypeTopology
github
similar
jonsterling/coq-sgdt
github
similar
niccoloveltri/final-pfin
github
similar
kckennylau/mathlib4
github
similar
jmchapman/restriction-categories
github
similar