Similar repositories to NeilStrickland/lean_lib:

• leanprover-community/vscode-lean4 github similar
• mo271/formal_book github similar
• digama0/mizar-rs github similar
• zhangir-azerbayev/mathlib-semantic-search github similar
• NeilStrickland/lean_lib github similar
• EdAyers/edlib github similar
• dwarn/nielsen-schreier-lean github similar
• SnobbyDragon/leanfifteen github similar
• ericrbg/leanFAQ github similar
• gebner/lean4-mathlib-import github similar
• RaitoBezarius/berkovich-spaces github similar
• thalesant/formalabstracts-2018 github similar
• ImperialCollegeLondon/dots_and_boxes github similar
• digama0/dtt.mm github similar
• superficie/superficie-algebriche github similar
• leanprover-community/lean-web-editor github similar
• digama0/olean-rs github similar
• duckki/lean-quantum github similar
• rwbarton/lean-homotopy-theory github similar
• b-mehta/combinatorics github similar
• rwbarton/lean-omin github similar
• sorear/smm github similar
• xiw/arithcc github similar
• paulaneeley/modal github similar
• kmill/knotfolio github similar
• gebner/trepplein github similar
• EdAyers/Robotone github similar
• jtristan/stump-learnable github similar
• mmasdeu/topologygame github similar
• JamesGallicchio/LeanColls github similar
• leanprover-community/doc-gen github similar
• leanprover-community/mathlib-tools github similar
• leanprover/LeanInk github similar
• leanprover-community/lean-client-python github similar
• agentultra/lean-for-hackers github similar
• sorear/smetamath-rs github similar
• google/formal-ml github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• kbuzzard/lean-stacks-project github similar
• leanprover-community/sphere-eversion github similar