Lean Mod Add Proof
Fresh
Prove in Lean 4 that a frozen integer network adds mod p; the Lean kernel is the reward.
- Type
- RL Env
- License
- unknown
- Size
- v0.1.0
- Published
- Oct 2026
- Updated
- Oct 2026
Cite
Notes
Only stored in your browser.
Prove in Lean 4 that a frozen integer network adds mod p; the Lean kernel is the reward.
Cite
Notes
Only stored in your browser.