Frederik Hanghøj Iversen

icon indicating a website link https://git.data.coop/fredefox/

icon company Penneo icon location Copenhagen, Denmark icon location Languages, functional programming, type theory and logic.

Results 1 repositories owned by Frederik Hanghøj Iversen

cat

53
Stars
4
Forks
Watchers

A formalization of category theory in cubical Agda

verified publisher icon fredefox