NGUYEN-RH-1
Riemann Hypothesis Research
Home
Dashboard
Roadmap
Results Ledger
Experiments
Scripts & Data
Lean Proofs
Derivations
Graveyard
Journal
Conversations
Resources Atlas
Live Runs
Feedback
connecting…
☰
Current task:
—
Search
← Session 19 — Q&A: derivation file format + submission requirements
← #862
Message
#865
· 5 of 13
#866 →
Go to message
#865
user
2026-08-21 03:31:45.247 UTC
open ⤢
Is that the standard way a derivation files should be written?