command-not-found.com
Run
API
Facebook
Twitter
LinkedIn
Copy link
lfscc
SMT proof checker
Install
All systems
curl cmd.cat/lfscc.sh
Fedora
dnf install lfsc
Dockerfile
dockerfile.run/lfscc
lfsc
SMT proof checker
$
try this command on-line!
API – lfscc
×