List item sorting orders
palmskog opened this issue · comments
Should we use only alphabetical list item order, or be more flexible, e.g., publication year for books?
coq-community / awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]