proofs in (x time)*
problems | proofs
create
view
order a proof
problems | proofs
What are you willing to give for this proof?
Nothing | $x | x bitcoin? | something else
What do you want a proof of?
How short should the proof be?
< : x characters | x seconds
if (willing to give) try to collect
proof {
object
metadata {
author
type {
formal
informal {
}
}
}
metrics {
reliability {
proved: counterexamples == 0
|statistics {
%_correct identifying states of problem
}
}
understandability {
length
readability
complexity
difficulty
}
}
}