GitHub repository: FlorianSteinberg/mf
Primary language: Coq
Description: A Coq library for multivalued functions.