Public proofs
PublicAvailable now
Browse published proof graphs and theorem permalinks. This surface is public and read-only; no account is required.
Open proof explorerAwkronos access status
What you can use today
The public proof explorer is open. Folio accounts, team workspaces, and patronage are not accepting enrollment or payments on this deployment.
01
Proof explorer
02
Theorem permalinks
03
Trust-chain guide
04
No account required
Folio accounts
ClosedNot available
Account enrollment, saved theorem trails, receipt history, and billing access are not enabled on this deployment.
Enrollment closedFolio Teams
ClosedNot available
Team workspace enrollment and commissioned-work coordination are not currently offered through the site.
Enrollment closedPatronage
ClosedNot available
Waddle sponsorship and patronage checkout are disabled. This page does not take payments or promise sponsorship receipts.
Enrollment closed