Similar repositories to mattrobball/lean-autograding:

• mattrobball/lean-autograding github similar
• blanchette/logical_verification_2022 github similar
• dupuisf/lean4-experimentation github similar
• atarnoam/lean-automata github similar
• siddhartha-gadgil/lean-loris github similar
• arthurpaulino/lean2md github similar
• arthurpaulino/FxyLang github similar
• crabbo-rave/Soup github similar
• paulaneeley/modal github similar
• alashworth/sf-lean github similar
• leanprover/lean4-samples github similar
• leanprover/doc-gen4 github similar
• leanprover/functional_programming_in_lean github similar
• bzhan/holpy github similar
• dwrensha/lean4-maze github similar
• leanprover/LeanInk github similar
• ImperialCollegeLondon/complex-number-game github similar
• JLimperg/aesop github similar
• anuyts/agda-sessions github similar
• leanprover/theorem_proving_in_lean4 github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• ImperialCollegeLondon/real-number-game github similar
• lecopivo/SciLean github similar
• TwoFX/sudoku github similar
• TheoWinterhalter/formal-type-theory github similar
• kmill/lean4-raytracer github similar
• kbuzzard/xena github similar
• ImperialCollegeLondon/natural_number_game github similar
• leanprover-community/lean github similar
• cvc5/cvc5 github similar
• leanprover-community/mathlib github similar
• jozefg/learn-tt github similar
• leanprover/lean4 github similar
• susam/texme github similar
• Kindelia/Kind github similar
• steshaw/plt github similar
• matze/mtheme github similar
• Z3Prover/z3 github similar
• NVIDIA/open-gpu-kernel-modules github similar
• ziglang/zig github similar