Similar repositories to alexpatel/lean-modal:

• alexpatel/lean-modal github similar
• santifa/pasp-mode github similar
• cmu-sei/pdfrankenstein github similar
• dpgailey/bot-theory-book github similar
• leanprover/theorem_proving_in_lean github similar
• collab-qa/check-all-the-things github similar
• vendethiel/trying.apl github similar
• jwtowner/lug github similar
• slebok/zoo github similar
• csplib/csplib github similar
• dmsm/scissors-congruence github similar
• ivmai/cudd github similar
• flypitch/flypitch github similar
• leanprover/elan github similar
• triska/clpfd github similar
• jason-lang/jason github similar
• ImperialCollegeLondon/natural_number_game github similar
• ashleynewson/SmartSim github similar
• sionescu/bordeaux-threads github similar
• tokay-lang/tokay github similar
• tlaplus/CommunityModules github similar
• jbaiter/zotero-cli github similar
• johnyf/tool_lists github similar
• RedPRL/sml-redprl github similar
• janestreet/ecaml github similar
• mwclient/mwclient github similar
• FormalTheology/GoedelGod github similar
• antalsz/hs-to-coq github similar
• kframework/c-semantics github similar
• MetaCoq/metacoq github similar
• arminbiere/kissat github similar
• mcleonard/sampyl github similar
• wmayner/pyphi github similar
• daly/axiom github similar
• w3c/did-core github similar
• rkirsling/modallogic github similar
• booksbyus/scalable-c github similar
• wordset/wordset-dictionary github similar
• susam/tucl github similar
• leanprover-community/lean github similar