Gallina

A high order specification language used in Coq