simba. Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation

github.com/yhyoon/simba

Problem

Audience

Updates

No founder updates yet. Check back soon.