GitHub repository: Frama-C/Qed
Primary language: OCaml
Created: 2016-06-17T10:19:07Z
Description: First-Order Logic library with built-in Theories