Amin Timany
amintimany
Associate professor of computer science in the logic and semantics research group (@logsem) at Aarhus University.
Languages
Loading contributions...
Top Repositories
Repositories
37The Rocq Prover Website
No description provided.
My personal copy of iris(https://gitlab.mpi-sws.org/FP/iris-coq.git)
No description provided.
A formalization of category theory in the Coq proof assistant.
Category-theoretic domain theory.
No description provided.
A tool to compare universe levels in Coq.
My .emacs.d folder
The configuration framework for Zsh
No description provided.
No description provided.
No description provided.
No description provided.
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
A simple way to manage multiple versions of Coq
Automation for de Bruijn syntax and substitution in Coq
No description provided.
Verification of a concurrent in-place spanning tree algorithm in Iris
No description provided.
No description provided.
Normalization by Evaluation for STLC
No description provided.
No description provided.
No description provided.
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
The HoTT version of Categories.
No description provided.
No description provided.
Logical relations in iris.