Closed ngeiswei closed 2 years ago
Complete proofs of correctness of the minimum and minimal element functions.
The proofs are first defined outside of the function type signatures, then added to it (for the sake of experimentation).
Complete proofs of correctness of the minimum and minimal element functions.
The proofs are first defined outside of the function type signatures, then added to it (for the sake of experimentation).