Closed JacquesCarette closed 2 years ago
Does not use with nor inspect. Tries to be more 'semantic' in its lemmas, and makes more setoid functions explicit.
Does not use with nor inspect. Tries to be more 'semantic' in its lemmas, and makes more setoid functions explicit.