Similar repositories to leanprover/functional_programming_in_lean:

• leanprover/functional_programming_in_lean github similar
• yatima-inc/LSpec github similar
• ufmg-smite/lean-smt github similar
• leanprover/lean4-samples github similar
• sarsko/CreuSAT github similar
• leanprover/theorem_proving_in_lean4 github similar
• ccodel/verified-encodings github similar
• leanprover/LeanInk github similar
• leanprover/lake github similar
• tydeu/lean4-alloy github similar
• siddhartha-gadgil/Saturn github similar
• xubaiw/Socket.lean github similar
• siddhartha-gadgil/lean-loris github similar
• danistefanovic/build-your-own-x github similar
• zhangir-azerbayev/lean-chat github similar
• avigad/lamr github similar
• smlnj/smlnj github similar
• oven-sh/bun github similar
• yatima-inc/yatima-lang github similar
• lecopivo/SciLean github similar
• jesse-michael-han/lean-step-public github similar
• joehendrix/lean-crypto github similar
• alashworth/sf-lean github similar
• GaloisInc/lean4-balance-car github similar
• groupoid/anders github similar
• larsk21/iris-lean github similar
• leanprover/smt2_interface github similar
• codyroux/tinymatch github similar
• lecopivo/lean4-karray github similar
• nadia-polikarpova/cyclegg github similar
• leanprover-community/lean-web-editor github similar
• favonia/ocaml-objdump github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• leanprover/doc-gen4 github similar
• dricketts/teaching-concurrency github similar
• javra/iit github similar
• Julian/lftim github similar
• eionblanc/mini-sygus github similar
• leanprover/lean4-mode github similar
• arthurpaulino/NumLean github similar