protof new
This command creating new protocol in Proof directory, in Appdata. You input command for shell, like in interpreter
Last updated
This command creating new protocol in Proof directory, in Appdata. You input command for shell, like in interpreter
Last updated