We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Version at the moment of publishing to DLS2018.
Version of the repository when submitting the final version to CoqPL2… …018.
State of the project during the submission for CoqPL2018