Viewing profile — axorb

We're talking proofs here tho, and you aren't allowed to prove something by "throwing enough input at it", isn't it like saying that unit tests are proofs of the correctness of a p…

>Second, about proof-by-Coq: If there's ever a bug in Coq, they're going to have to re-run all the proofs that have been done this way, and see which (if any) of them are actually …

I never used a C++ web framework, how does this compare to the (few) other existing ones like Wt or crow?

isn't it 0.00143045%?