corn icon indicating copy to clipboard operation
corn copied to clipboard
verified publisher icon coq-community

Std lib ommisions

Open spitters opened this issue 7 years ago • 0 comments

The lemmas in this directory should be added to the stdlib and removed from corn. https://github.com/coq-community/corn/tree/master/stdlib_omissions

spitters avatar Jul 20 '18 12:07 spitters