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