Similar repositories to zhangir-azerbayev/ProofNet:

• zhangir-azerbayev/ProofNet github similar
• kon9chunkit/GitHub-Chinese-Top-Charts github similar
• danistefanovic/build-your-own-x github similar
• ImperialCollegeLondon/lean-maths-examples github similar
• lawl/NoiseTorch github similar
• davidhund/retext-assuming github similar
• jirutka/asciidoctor-katex github similar
• leanprover-community/lean-client-python github similar
• kendfrey/rubiks-cube-group github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• wtsnjp/MioGatto github similar
• avigad/lamr github similar
• tree-sitter/tree-sitter-agda github similar
• sagemathinc/JSage github similar
• b-mehta/maths-notes github similar
• phu54321/kian github similar
• JasonGross/coq-tools github similar
• Timothy-G-Griffin/cc_cl_cam_ac_uk github similar
• ImperialCollegeLondon/M4P33 github similar
• pypa/installer github similar
• iktakahiro/markdown-it-katex github similar
• Ekdohibs/camlboot github similar
• TwoFX/sudoku github similar
• tlaplus/awesome-tlaplus github similar
• openai/miniF2F github similar
• ImperialCollegeLondon/M40001_lean github similar
• ImperialCollegeLondon/formalising-mathematics-2022 github similar
• flypitch/flypitch github similar
• leanprover-community/lean-liquid github similar
• momo-lab/zsh-abbrev-alias github similar
• tree-sitter/tree-sitter-graph github similar
• ReTeX/ReX github similar
• seL4/isabelle github similar
• coq/platform github similar
• ImperialCollegeLondon/formalising-mathematics github similar
• chrrasmussen/Idris2-Erlang github similar
• solt9029/drinking-sudo github similar
• learnlatex/learnlatex.github.io github similar
• leanprover-community/tutorials github similar
• zwegner/x86-sat github similar