Similar repositories to 0art0/lean3-statement-translation-tool:

• paperswithcode/galai github similar
• zhangir-azerbayev/mathlib-semantic-search github similar
• siddhartha-gadgil/LeanAide github similar
• 0art0/lean3-statement-translation-tool github similar
• ImperialCollegeLondon/tcc-lean-alg-geom-2022 github similar
• leanprover/doc-gen4 github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• dwrensha/lean4-maze github similar
• leanprover/LeanInk github similar
• zhangir-azerbayev/lean-chat github similar
• leanprover-community/format_lean github similar
• leanprover/lake github similar
• JLimperg/aesop github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• openai/lean-gym github similar
• leanprover-community/mathlib4 github similar
• martinescardo/TypeTopology github similar
• UniMath/agda-unimath github similar
• hwchase17/langchain github similar
• kalininalab/alphafold_non_docker github similar
• ImperialCollegeLondon/natural_number_game github similar
• deepmind/mathematics_conjectures github similar
• nomeata/incredible github similar
• boism-org/northpole github similar
• dselsam/certigrad github similar
• math-comp/math-comp github similar
• ProofGeneral/PG github similar
• yuanxiaosc/BERT_Paper_Chinese_Translation github similar
• OpenLogicProject/OpenLogic github similar
• leanprover-community/mathlib github similar
• facebookresearch/esm github similar
• leanprover/lean4 github similar
• coq/coq github similar
• deepmind/pysc2 github similar
• borisdayma/dalle-mini github similar
• WeNeedHome/SummaryOfLoanSuspension github similar
• pjreddie/darknet github similar
• The-Run-Philosophy-Organization/run github similar
• JuliaLang/julia github similar
• tensorflow/tensorflow github similar