Amin Timany

icon indicating a website link https://cs.au.dk/~timany

icon company Aarhus University icon location Aarhus, Denmark icon location I am an associate professor of computer science in the logic and semantics research group (@logsem) at Aarhus University.

Results 1 repositories owned by Amin Timany

Categories

92
Stars
4
Forks
Watchers

A formalization of category theory in the Coq proof assistant.

verified publisher icon amintimany