PresburgerAI-Coq. Formal proof of a presburger abstract domain on a SSA language

github.com/math-fehr/PresburgerAI-Coq
by @math-fehr

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.