Closed mattam82 closed 8 months ago
This demonstrates a strange stack overflow on Qed in erasure/theories/Typed/ExtractionCorrectness.v
This demonstrates a strange stack overflow on Qed in erasure/theories/Typed/ExtractionCorrectness.v