Fork 0

Total order library for Coq

Rocq Prover 90.6%
Makefile 9.4%

Find a file

Tej Chajed 98dd7778b6 Add a README		2019-01-16 09:28:05 -05:00
src	Initial results on string ordering	2019-01-16 08:50:42 -05:00
.gitignore	Initial results on string ordering	2019-01-16 08:50:42 -05:00
.travis.yml	Initial results on string ordering	2019-01-16 08:50:42 -05:00
libname	Initial results on string ordering	2019-01-16 08:50:42 -05:00
Makefile	Initial results on string ordering	2019-01-16 08:50:42 -05:00
README.md	Add a README	2019-01-16 09:28:05 -05:00

README.md

Coq ordering library

A typeclass for complete orders, along with some instances. We provide an instance for lists. We also provide an instance for strings using an injection to lists and a generic instance.