/SmtLibLean

some experiments with SMT-LIB

Primary LanguageLean

This repository is not active