Similar repositories to tlringer/ml-for-proofs:

• tlringer/ml-for-proofs github similar
• danistefanovic/build-your-own-x github similar
• tlringer/thesis github similar
• ejgallego/coq-lsp github similar
• tlringer/plugin-tutorial github similar
• pdarragh/camlrack github similar
• elpinal/subtyping-agda github similar
• Chaaaos/formaltt github similar
• mb64/xtt github similar
• sweirich/graded-haskell github similar
• tlringer/proof-demos github similar
• RedPRL/algaett github similar
• hecrj/iced github similar
• gibiansky/IHaskell github similar
• Twey/agda-imp github similar
• bedrocksystems/cpp2v github similar
• HarrisonGrodin/agda-modtt github similar
• RedPRL/mugen github similar
• awslabs/typecart github similar
• conal/agda-cat-linear github similar
• border-patrol/lightclick github similar
• ekmett/nbe-in-java-19 github similar
• larsk21/iris-lean github similar
• WasmCert/WasmCert-Coq github similar
• fmlab-iis/coq-nbits github similar
• appliedfm/vstyle github similar
• tchajed/coq-array github similar
• osa1/mincaml github similar
• thery/FlocqLecture github similar
• elpinal/duploids github similar
• groupoid/anders github similar
• konn/laurent github similar
• forked-from-1kasper/bravo github similar
• arthuraa/agda-hoas-demo github similar
• uds-psl/churchs-thesis-coq github similar
• uncle-betty/trust-but-verify github similar
• RichardMoot/Grail0 github similar
• favonia/ocaml-objdump github similar
• jonsterling/problemes-dans-les-topos github similar
• nadia-polikarpova/cyclegg github similar