Aarhus, Denmark

Amin Timany

Advanced
@amintimany

Associate professor of computer science in the Programming Languages, Logic, and Software Security (PLS) section of Aarhus University — @logsem

cs.au.dk/~timany

Categories. A formalization of category theory in the Coq proof assistant.

100

CTDT. Category-theoretic domain theory.

9

NbE. Normalization by Evaluation for STLC

4

OPLSS. Coq

4

UniverseComparator. A tool to compare universe levels in Coq.

2

F_mu_ref_conc_sub. Coq

1

monotone. Coq

1

Categories-HoTT. The HoTT version of Categories.

1
8
Apply