Well-foundedness of the shortlex(icographic) product
Primary LanguageCoq
This repository is not active