Sponsor:

Your company here, and a link to your site. Click to find out more.

Package lfsc

SMT proof checker

https://github.com/cvc5/LFSC

This package contains an SMT proof checker.

Version: 0.20230914

General Commands
lfscc manual page for lfscc 0.20230914