Similar repositories to neel-krishnaswami/proof-checker:

• gibiansky/IHaskell github similar
• neel-krishnaswami/proof-checker github similar
• sarsko/CreuSAT github similar
• redballoonsecurity/ofrak github similar
• CertiGraph/CertiGC github similar
• voodoos/elpi-js github similar
• gabriel-fallen/bidirectional-demo github similar
• thierry-martinez/metaquot github similar
• yallop/generalized-partial-computation-bibliography github similar
• lecopivo/lean4-karray github similar
• CertiGraph/CertiGraph github similar
• codyroux/hoare-toy github similar
• joehendrix/lean-sat-checker github similar
• arthurpaulino/NumLean github similar
• mvr/at github similar
• lassepe/LiftedTrajectoryGames.jl github similar
• math-comp/multinomials github similar
• vmchale/linear github similar
• thautwarm/MatchCore.jl github similar
• xavierleroy/canonical-binary-tries github similar
• webyrd/normalization-by-evaluation github similar
• MasonProtter/StaticModules.jl github similar
• flupe/generics github similar
• ufmg-smite/lean-smt github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• mb64/simple-lambda-prolog github similar
• vsiddhu/SDP-Quantum-OR github similar
• yatima-inc/yatima-lang github similar
• yallop/ocaml-charset github similar
• SWI-Prolog/tabled-prolog-book github similar
• egraphs-good/snake-egg github similar
• lexi-lambda/racket-higher-rank github similar
• jameysharp/optir github similar
• jfecher/algorithm-j github similar
• MatthewDaggitt/agda-routing github similar
• black-binary/sleigh github similar
• smtcoq/sniper github similar
• homotopy-io/homotopy-webclient github similar
• coq-community/coqffi github similar
• rwbarton/advent-of-lean-4 github similar