NEWS 01
Formal Verification and Machine-Checked Proof
MEDIA & PRESS
Newsroom
Official press releases, mathematical publications, and announcements from Nomos and Harmonic.
NEWS 02
Aristotle: Long-Horizon Formal Reasoning
NEWS 03
The Strong Goldbach Conjecture: What Is Being Tested