foundations topic

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

UniMath

The Agda Universal Algebra Library (html docs available at the url below)

ualib

Directory of non-profit FOSS Foundations, with detailed metadata.

Punderthings