Package lfsc

SMT proof checker

https://github.com/cvc5/LFSC

This package contains an SMT proof checker.

Version: 0.20230914

General Commands

lfscc SMT proof checker