Return Entire thread

Crash Proof Filesystem

8 Name: Anonymous 2017-10-14 15:54
What's the proof for Coq's correctness, i.e. that it never produces a false positive result?

Return Entire thread
Name:
Leave this field blank: