Similar repositories to theoremprover-museum/LCF77:

• theoremprover-museum/LCF77 github similar
• danistefanovic/build-your-own-x github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• RedPRL/sml-cats github similar
• IanOrton/cubical-topos-experiments github similar
• amintimany/CTDT github similar
• jonsterling/sml-logical-framework github similar
• theoremprover-museum/HOL88 github similar
• nbenton/coqdomains github similar
• andreasabel/helf github similar
• RobertHarper/hott-notes github similar
• gallais/agdARGS github similar
• twanvl/ttie github similar
• ayberkt/abt github similar
• yannham/visual-goi github similar
• pigworker/Ohrid-Agda github similar
• pigworker/Bi71 github similar
• ToTal/total github similar
• niccoloveltri/final-pfin github similar
• shaunlebron/parinfer github similar
• ericfinster/catt github similar
• nachivpn/nbe-stlc github similar
• jonsterling/racket-grit github similar
• neel-krishnaswami/linearml github similar
• jagd/fakebold github similar
• pigworker/Samizdat github similar
• thsutton/cha github similar
• jirkamarsik/lambda-mu github similar
• hazelgrove/agda-popl17 github similar
• andrejbauer/miniLCF github similar
• jozefg/undergraduate-thesis github similar
• dlicata335/cubicalexperiments github similar
• GaloisInc/cryptol-semantics github similar
• mortberg/TypeTheory github similar
• nachivpn/syntactic-ni github similar
• pigworker/BiF github similar
• jonsterling/agda-abt github similar
• javra/msc-thesis github similar
• jozefg/miniprl github similar
• heades/cut-fill-agda github similar