dfa-foreign-sbcl.x8664s

Interactive theorem prover from SRI

Fedora
RUN dnf install -y pvs-sbcl
click the source code to copy install dfa-foreign-sbcl.x8664s on any operating system with command-not-found.com