>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 invalid. (It still may be better than…
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%?
>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 invalid. (It still may be better than…
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%?