Check the proofs already written in a LaTeX paper by translating them faithfully into Lean 4, with a team of Claude Code agents
Python Updated 8 days ago 1 commits 5 stars
synth-dev|Mirror: ziwaa-se/tex-proof-check-kit (⭐5)
8 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Check the proofs already written in a LaTeX paper by translating them faithfully into Lean 4, with a team of Claude Code agents
Readme
5 stars