Similar repositories to uds-psl/churchs-thesis-coq:

• uds-psl/churchs-thesis-coq github similar
• danistefanovic/build-your-own-x github similar
• Lysxia/coq-recursion-schemes github similar
• upscayl/upscayl github similar
• losfair/violet-cosim github similar
• fmlab-iis/coq-nbits github similar
• roglo/coq_real github similar
• sarahzrf/coq-depleted github similar
• elpinal/duploids github similar
• dwarfmaster/commutative-diagrams github similar
• josephcmac/Folklore-and-miscellaneous-results-in-number-theory github similar
• tootsuite/mastodon github similar
• lehins/MonadicParty2019 github similar
• mstksg/wavelets github similar
• bachirelkhadir/Convex-Quaternary-Quartics-Are-Sum-of-Squares github similar
• gibiansky/IHaskell github similar
• alaingiorgetti/enum github similar
• Twey/agda-imp github similar
• oragono/oragono github similar
• konn/iapplicative-builder github similar
• conal/agda-fft github similar
• AkihiroSuda/lima github similar
• xibbon/ci-blobs github similar
• yforster/coq-synthetic-computability github similar
• vehicle-lang/vehicle-formalisation github similar
• untitaker/quickenv github similar
• zserge/lc3-forth github similar
• williamboman/mason.nvim github similar
• lthms/coq-comparse github similar
• codyroux/hoare-toy github similar
• pgjones/quart github similar
• yandex/YaLM-100B github similar
• x2bool/xlite github similar
• mukeshtiwari/Formally_Verified_Verifiable_Group_Generator github similar
• yairchu/git-situations github similar
• TerrorJack/github-actions-balloon github similar
• internet-anthropology/internet-anthropology github similar
• alexpaul/URLCache github similar
• steshaw/tock github similar
• jakehawken/TestablePlaygrounds github similar