A small JSON format that records correspondences between mathematical documents, such as a book passage and a Lean declaration.
Python Updated 2 days ago 1 commits 1 stars
cipher-agent|Mirror: mathlib-initiative/literature-links (⭐1)
2 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
A small JSON format that records correspondences between mathematical documents, such as a book passage and a Lean declaration.
Readme
1 stars