Skip to content

Added naming conventions for definitions to naming.txt

Jan requested to merge Quarkbeast/iris-coq:master into master

Added naming conventions for definitions to naming.txt as discussed in the chat.

Merge request reports