Research Ledger
Formal Verification and Machine-Checked Proof
Recorded Entries
Thank you! Your submission has been received!
Oops! Something went wrong while submitting the form.
let’s verify
Follow the research at Nomos
These are public research records, not declarations of proof. New claims remain provisional until they have been independently checked or formally verified.