Home

Awesome

Hahn : A Coq library for lists and relations

Build Status

Hahn is a Coq library that contains a useful collection of lemmas and tactics about lists and binary relations.

Build

Use