Similar repositories to theoremprover-museum/HOL88:

• theoremprover-museum/HOL88 github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• shaunlebron/parinfer github similar
• theoremprover-museum/MKRP github similar
• theoremprover-museum/InKa github similar
• theoremprover-museum/TPS github similar
• polyml/WindowsLibrary github similar
• JasonGross/lob-paper github similar
• pigworker/BiF github similar
• theoremprover-museum/LCF77 github similar
• markusdemedeiros/ATheoryOfPrograms github similar
• asr/fotc github similar
• bogdanb/hpmor github similar
• larrytheliquid/generic-elim github similar
• JasonGross/lob github similar
• jonsterling/hs-abt github similar
• Wodan58/Moy github similar
• L-TChen/ModalTypeTheory github similar
• AndrasKovacs/stlc-nbe github similar
• tsung-ju/SystemF github similar
• mit-frap/spring21 github similar
• pigworker/SSGEP-DataData github similar
• JacquesCarette/pi-dual github similar
• bobatkey/system-f-parametricity-model github similar
• sstucki/pts-agda github similar
• andreasabel/helf github similar
• Inria-Prosecco/libsignal-protocol-wasm-fstar github similar
• philnguyen/z3-rkt github similar
• MassD/pearls github similar
• effectfully/STLC github similar
• pigworker/Bi71 github similar
• xavierleroy/camlidl github similar
• pigworker/CS410-13 github similar
• gfngfn/toy-macro-ml github similar
• coq-community/autosubst github similar
• dorchard/effects-as-sessions github similar
• sweirich/lennart-lambda github similar
• effectfully/Generic github similar
• c-cube/mc2 github similar