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