GitHub repository: millstein/LoopInvGen
Primary language: OCaml
Description: Generates loop invariants for program verification