Similar repositories to avigad/mathematics_in_lean:

• avigad/mathematics_in_lean github similar
• eric-wieser/lean-matrix-cookbook github similar
• arthurpaulino/lean2md github similar
• vaibhavkarve/leanteach2020 github similar
• avigad/mathematics_in_lean_source github similar
• leanprover-community/mathematics_in_lean github similar
• avigad/lamr github similar
• leanprover/theorem_proving_in_lean4 github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• ImperialCollegeLondon/formalising-mathematics-2022 github similar
• ImperialCollegeLondon/M40001_lean github similar
• GeoCoq/GeoCoq github similar
• ImperialCollegeLondon/natural_number_game github similar
• leanprover/lean4 github similar
• sagemath/sage github similar
• sympy/sympy github similar
• rust-lang/mdBook github similar
• emscripten-core/emscripten github similar
• BurntSushi/ripgrep github similar