amintimany
I am an assistant professor of computer science in the logic and semantics research group at Aarhus University.
Aarhus UniversityAarhus, Denmark
Pinned Repositories
Categories
A formalization of category theory in the Coq proof assistant.
Categories-HoTT
The HoTT version of Categories.
CTDT
Category-theoretic domain theory.
F_mu_ref_conc_sub
monotone
NbE
Normalization by Evaluation for STLC
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
OPLSS
UniverseComparator
A tool to compare universe levels in Coq.
amintimany's Repositories
amintimany/CTDT
Category-theoretic domain theory.
amintimany/UniverseComparator
A tool to compare universe levels in Coq.
amintimany/Categories-HoTT
The HoTT version of Categories.
amintimany/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
amintimany/STLC
A simple formalization of Simply Typed Lambda Calculus.