Programming Languages & Compilers Activity Report - Q2 2024
Tweag
AUGUST 21, 2024
Although our interests and expertise have become significantly broader over the years, our love for immutable, composable and typed architecture have made functional programming and programming languages in general an important part of our DNA. smtlib-backends is a library to interface with SMT solvers via SMTLIB.
Let's personalize your content