command-not-found.com
Run
API
Facebook
Twitter
LinkedIn
Copy link
ws1s.so
Interactive theorem prover from SRI
Install
All systems
curl cmd.cat/ws1s.so.sh
Fedora
dnf install pvs-sbcl
Dockerfile
dockerfile.run/ws1s.so
pvs-sbcl
Interactive theorem prover from SRI
$
try this command on-line!
API – ws1s.so
×