Giters

AdrienChampion / lsmt2

Interact with SMT-LIB 2 compliant solvers in Lean 4

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

lsmt2

Interact with SMT-LIB 2 compliant solvers in Lean 4

About

Interact with SMT-LIB 2 compliant solvers in Lean 4

License:Apache License 2.0

Languages

Language:Lean 100.0%