Certus
(1)
claim
this identity is yours
(2)
evidence
claim
∴
session
QED
Sign in to Certus
Review verdicts, evidence, and proof debt for your repositories.
Continue with GitHub
Continue with Google
or
Email address
Password
Forgot password?
Sign in
Signing in
Email me a sign-in code
(1)
claim
this identity is yours
declared
(1)
claim
this identity is yours
declared
(2)
evidence
claim
checked, not assumed
(2)
evidence
claim
checked, not assumed
∴
session
from (1), (2)
∴
session
QED
from (1), (2)