Similar repositories to mietek/formal-logic:

• mietek/formal-logic github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• mit-plv/reification-by-parametricity github similar
• pigworker/InteriorDesign github similar
• meilisearch/MeiliSearch github similar
• precog/quasar github similar
• klntsky/haskell-holes-th github similar
• ezyang/groom github similar
• sarsko/CreuSAT github similar
• oven-sh/bun github similar
• Lysxia/coq-recursion-schemes github similar
• moyix/fauxpilot github similar
• identicalsnowflake/cantor-pairing github similar
• alex-mckenna/optimum github similar
• wenkokke/EnumeratingTheRationals github similar
• jdublu10/STLC-to-SKI github similar
• taktoa/mltt github similar
• srdqty/talc-3.0 github similar
• ayberkt/simplc github similar
• ayberkt/agda-brzozowski github similar
• jrraymond/ray-tracer github similar
• thsutton/cha github similar
• sarahzrf/coq-depleted github similar
• LightAndLight/parametricity-proofs github similar
• ziman/itt github similar
• jespercockx/ttac github similar
• rfindler/lambdajam-2015-racket-pl-pl github similar
• coq-contribs/containers github similar
• ziman/ttstar github similar
• JoeyEremondi/lambda-pi-constraint github similar
• jdublu10/pacman github similar
• uds-psl/churchs-thesis-coq github similar
• roglo/coq_real github similar
• alhassy/multistage-programming-taha github similar
• adolfopa/racket-json-mapping github similar
• isovector/compiling-to-categories-redux github similar
• oisdk/semiring-num github similar
• thery/PolTac github similar
• uds-psl/autosubst-ocaml github similar