Skip to content

GitLab

Explore

Sign in

I

Initial Algebras Unchained

Project information

A Novel Initial Algebra Construction Formalized in Agda

352 Commits
1 Branch
0 Tags

README

Created on

April 18, 2024

Loading