SMT proof checker
https://github.com/cvc5/LFSC
This package contains an SMT proof checker.
Version: 0.20230914