Package lfsc

SMT proof checker

https://github.com/CVC4/LFSC

This package contains an SMT proof checker.

Version: 0.20200815

General Commands

lfscc manual page for lfscc 0.20200815