Similar repositories to bytekid/mkbtt:
bytekid/mkbtt
github
similar
mvr/at
github
similar
skbaek/Ethics
github
similar
jonsterling/lcf-sequent-calculus-example
github
similar
haskell-rewriting/term-rewriting
github
similar
peterlefanulumsdaine/palmgren-archive
github
similar
effectfully/inference-in-agda
github
similar
jespercockx/popl19-tutorial
github
similar
neel-krishnaswami/inverse-bidirectional-typechecking
github
similar
pcapriotti/agda-categories
github
similar
plum-umd/cgc
github
similar
vlopezj/coq-course
github
similar
blambov/RealLib
github
similar
nick8325/twee
github
similar
coq-community/topology
github
similar
sweirich/replib
github
similar
ucsd-progsys/mist
github
similar
effectfully/OTT
github
similar
fredefox/cat
github
similar
scmu/foundations-harper
github
similar
ryukinix/discrete-mathematics
github
similar
andrejbauer/notes-on-realizability
github
similar
GaloisInc/blt
github
similar
awodey/CatLogNotes
github
similar
algebraic-graphs/agda
github
similar
msp-strath/TypOS
github
similar
uds-psl/coq-library-undecidability
github
similar
jozefg/nbe-for-mltt
github
similar
jozefg/blott
github
similar
jozefg/pcf
github
similar
andrejbauer/marshall
github
similar
martinescardo/TypeTopology
github
similar
NCAlgebra/NC
github
similar
sweirich/tal
github
similar
ezyang/logitext
github
similar
GeoCoq/GeoCoq
github
similar
kpeeters/cadabra2
github
similar
plt-amy/1lab
github
similar
cpitclaudel/alectryon
github
similar
mattam82/Coq-Equations
github
similar