Similar repositories to IPDSnelting/tba-2022:

• IPDSnelting/tba-2022 github similar
• danistefanovic/build-your-own-x github similar
• dselsam/lean-gym github similar
• tuvtran/project-based-learning github similar
• yatima-inc/LSpec github similar
• hargoniX/cpdt-lean github similar
• mattrobball/lean-autograding github similar
• siddhartha-gadgil/lean-loris github similar
• opencompl/lean-gap github similar
• filipmaric/IMO github similar
• unitb/temporal-logic github similar
• gebner/lean4-mathlib-import github similar
• dupuisf/lean4-experimentation github similar
• marcusrossel/model-checking github similar
• arthurpaulino/lean2md github similar
• digama0/vc0 github similar
• Kha/alectryon github similar
• atarnoam/lean-automata github similar
• JamesGallicchio/LeanColls github similar
• leanprover/smt2_interface github similar
• leanprover/lean4-samples github similar
• siddhartha-gadgil/LeanAide github similar
• gebner/m17n-lean github similar
• avigad/lamr github similar
• ATOMSLab/LeanChemicalTheories github similar
• minchaowu/mm-lean github similar
• SnobbyDragon/leanhanoi github similar
• JasonKYi/M4000x_LEAN_formalisation github similar
• tydeu/lean4-alloy github similar
• alashworth/sf-lean github similar
• ccodel/verified-encodings github similar
• leanprover/doc-gen4 github similar
• nkandpa2/he_jax github similar
• leanprover/LeanInk github similar
• kendfrey/rubiks-cube-group github similar
• leanprover-community/lean-client-python github similar
• arthurpaulino/FxyLang github similar
• google/formal-ml github similar
• mhuisi/lean4-cli github similar
• arthurpaulino/NumLean github similar