Sponsor:

Your company here — click to reach over 10,000 unique daily visitors

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