SmtLibDsl. A type-safe SMT-LIB DSL for Lean 4 with Z3 integration.

github.com/palladin/SmtLibDsl

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.