Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda
Primary LanguageAgdaGNU Affero General Public License v3.0AGPL-3.0