Similar repositories to coq-contribs/pts:
coq-contribs/pts
github
similar
danistefanovic/build-your-own-x
github
similar
coq-contribs/ptsatr
github
similar
JMensch/facebook-group-api
github
similar
jonsterling/Luitzen
github
similar
jonsterling/TypeTheory
github
similar
sebastian-nagel/warc-crawler
github
similar
kino3/PiMLTT
github
similar
thery/PolTac
github
similar
moshfiqrony/facebook-group-api-clone
github
similar
sstucki/f-omega-int-agda
github
similar
JoeyEremondi/GDTL-artifact
github
similar
mietek/hilbert-gentzen
github
similar
sergei-romanenko/spsc
github
similar
frelindb/agsyHOL
github
similar
jonsterling/coq-guarded-computational-type-theory
github
similar
sweirich/graded-haskell
github
similar
coq-contribs/coq-in-coq
github
similar
chifflier/ocaml-llvm-tutorial
github
similar
amaurremi/dot-calculus
github
similar
sergei-romanenko/agda-simple-scp
github
similar
UnkindPartition/freemonad-benchmark
github
similar
pcapriotti/agda-categories
github
similar
RedPRL/algaeff
github
similar
msp-strath/ZEUG
github
similar
JohnWCartmell/Theory
github
similar
snu-sf/paco
github
similar
uwplse/CoqAST
github
similar
plclub/cis670-16fa
github
similar
sstucki/system-f-agda
github
similar
mvr/cf
github
similar
TiarkRompf/minidot
github
similar
DimaSamoz/agda-soas
github
similar
pirapira/evmverif
github
similar
jtassarotti/coq-proba
github
similar
unicoq/unicoq
github
similar
stchang/parsack
github
similar
jsiek/B522-PL-Foundations
github
similar
jozefg/miniprl
github
similar
AndrasKovacs/staged-fusion
github
similar