Similar repositories to meta-logic/lltp:

• meta-logic/lltp github similar
• hecrj/iced github similar
• Twey/agda-imp github similar
• oxalica/nil github similar
• moyix/fauxpilot github similar
• liamoc/liamoc.net github similar
• effectfully/proto-tt github similar
• jpt4/skio github similar
• john-ml/stitch github similar
• RichardMoot/LinearOne github similar
• CinchBlue/shock github similar
• david-a-wheeler/vim-metamath github similar
• john-ml/lambda-calculus github similar
• elpinal/types-1ml github similar
• nokijp/pietc github similar
• hypotext/linear-logic github similar
• c-cube/quip github similar
• ayberkt/simplc github similar
• proglang/ldgv github similar
• RobertHarper/hott-notes github similar
• conal/agda-cat-linear github similar
• john-ml/edsger github similar
• umazalakain/typing-linear-pi github similar
• appliedfm/vstyle github similar
• fwcd/curry-language-server github similar
• mb64/poly github similar
• noamz/linlam github similar
• mb64/simple-lambda-prolog github similar
• jdrprod/owl github similar
• LightAndLight/lambdapi github similar
• effectfully/Cubes github similar
• ericfinster/opetopic github similar
• UCSD-PL/proverbot9001 github similar
• Toxaris/pts github similar
• clf/lollimon github similar
• lammich/isabelle_llvm github similar
• pdarragh/parsing-with-zippers-paper-artifact github similar
• Gbury/archsat github similar
• dvanhorn/dpc github similar
• llee454/functional-algebra github similar