We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Requires Idris 2.
Idris backend for generation of proofs of CSL assertions from the EU2020 TeamPlay Project.
There was an error while loading. Please reload this page.