You need to sign in or sign up before continuing.
Optimize proofs in Apply_results
The proofs in Apply_results.v take a few minutes to be checked, especially the proof for contents_result_encoding_is_valid
. Find a way to optimize that.
The proofs in Apply_results.v take a few minutes to be checked, especially the proof for contents_result_encoding_is_valid
. Find a way to optimize that.