fricoben

AI-enabled formal verification at lfglabs.dev