Name: Amin Timany
Type: User
Company: Aarhus University
Bio: I am an assistant professor of computer science in the logic and semantics research group at Aarhus University.
Twitter: amintimany
Location: Aarhus, Denmark
Blog: https://cs.au.dk/~timany
Amin Timany's Projects
My .emacs.d folder
Automation for de Bruijn syntax and substitution in Coq
A formalization of category theory in the Coq proof assistant.
The HoTT version of Categories.
Highlight text that extends beyond a certain column. Can be used to enforce 80 column rule (well more like suggest, not enforce)
IDE extensions for Proof General's Coq mode
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.
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.
Category-theoretic domain theory.
:beers: Core formulae for the Homebrew package manager
My personal copy of iris(https://gitlab.mpi-sws.org/FP/iris-coq.git)
Logical relations in iris.
Verification of a concurrent in-place spanning tree algorithm in Iris
My copy of iris development
Normalization by Evaluation for STLC
Archive for all Coq related OPAM packages organized in various repositories
The configuration framework for Zsh
A simple way to manage multiple versions of Coq