Sign in
No account? Create one
“The books should be able to prove themselves.”
Every number in Figures traces to an arithmetically verified statement line.
No account? Create one
“The books should be able to prove themselves.”
Every number in Figures traces to an arithmetically verified statement line.