Beyond Mock Modularity: Elliptic Corrections for Higher Dyson Ranks

These files accompany the paper [TODO].

The formal proofs provided in this work were developed and verified using Lean 4.28.0 + mathlib 4.28.0. Compatibility with earlier or later versions is not guaranteed due to the evolving nature of the Lean 4 compiler and mathlib.

Input files

• Batch1/Input: natural language input
• Batch2/Input: natural language input
• Batch3/Input: natural language input
• Batch4/Input: natural language input

Output files

• Batch1/Output/problem.lean: translation of the problem statement into formal language (Lean)
• Batch1/Output/solution.lean: solution in formal language (Lean)
• Batch2/Output/problem.lean: translation of the problem statement into formal language (Lean)
• Batch2/Output/solution.lean: solution in formal language (Lean)
• Batch3/Output/problem.lean: translation of the problem statement into formal language (Lean)
• Batch3/Output/solution.lean: solution in formal language (Lean)
• Batch4/Output/problem.lean: translation of the problem statement into formal language (Lean)
• Batch4/Output/solution.lean: solution in formal language (Lean)

License

This repository uses the MIT License. See LICENSE for details.