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

List item sorting orders

Open palmskog opened this issue 5 years ago • 0 comments

Should we use only alphabetical list item order, or be more flexible, e.g., publication year for books?

palmskog avatar Jan 09 '20 19:01 palmskog