|
|
|
|
|
|
by ukj
1820 days ago
|
|
|
There is something stopping you from running the proof against your implementation! Proof-checking happens only at compile time. The implementation that you want to prove things about is only available at runtime! Non-availability (incompleteness) of information is what is preventing you… |
|
|