Acorn CLI

https://github.com/acornprover/cli

Acorn CLI is a command-line interface for the Acorn proof assistant that enables verification of...

Tokens:291
Snippets:7
Trust Score:5.1
License:Apache-2.0
Update:5 months ago
Tokens:
Raw