GitHub repository: math-fehr/PresburgerAI-Coq
Primary language: Coq
Created: 2019-09-18T21:32:23Z
Description: Formal proof of a presburger abstract domain on a SSA language