Package lfsc

SMT proof checker

https://github.com/CVC4/LFSC

This package contains an SMT proof checker.

General Commands
Command Description
lfscc manual page for lfscc 0.20200115