oak-coq 0.0.2

Coq theorem prover language parser with support for dependent types and formal verification.
Documentation 
1
2
3
4
5
6

{
    "private": true,
    "scripts": {
        "p": "cargo publish --allow-dirty"
    }
}