lfscc

SMT proof checker

Fedora
RUN dnf install -y lfsc
click the source code to copy install lfscc on any operating system with command-not-found.com