Similar repositories to avigad/boole:

• avigad/boole github similar
• danistefanovic/build-your-own-x github similar
• aquynh/capstone github similar
• avigad/polya github similar
• domchristie/turndown github similar
• pixijs/pixi.js github similar
• gibiansky/IHaskell github similar
• tuvtran/project-based-learning github similar
• shaunlebron/parinfer github similar
• namin/blond github similar
• Averethel/OCamlMin github similar
• expnkx/fast_io github similar
• dramforever/writings github similar
• arthurpaulino/LeanMySQL github similar
• leanprover/lean4-samples github similar
• alcides/AoC2021Lean4 github similar
• mb64/simple-lambda-prolog github similar
• RobertHarper/hott-notes github similar
• nachivpn/gluetn github similar
• msp-strath/ZEUG github similar
• LightAndLight/meta-lambda github similar
• htzh/leanproved github similar
• prathamesh-t/Tangle-Isabelle github similar
• webyrd/relational-interpreter-with-match github similar
• siddhartha-gadgil/lean-loris github similar
• tydeu/lean4-papyrus github similar
• RobertHarper/nsml github similar
• leanprover/presentations github similar
• TOTBWF/lean4-raytrace github similar
• michaelt/tagless github similar
• larrytheliquid/generic-elim github similar
• arlencox/QUICr github similar
• larsk21/iris-lean github similar
• sdiehl/pyrewrite github similar
• namin/dafny-sandbox github similar
• ibrahimsag/rw github similar
• julianhyde/morel github similar
• webyrd/summer-scheming github similar
• ezyang/eff github similar
• thautwarm/Sequent.jl github similar