proof(coq): discharge eval_respects_state_eq_{L,R} via deletion + ref… #105
hyperpolymathAnnotations
1 error
|
build
Process completed with exit code 1.
|