Amin Timany (@amintimany)
github

amintimany

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    114
  • Global Rank 189,057 (Top 7 %)
  • Followers 33
  • Following 5
  • Registered about 11 years ago
  • Most used languages
    Coq     87.5 %
    OCaml
         12.5 %
  • Location 🇧🇪 Belgium
  • Country Total Rank 932
  • Country Ranking
    Coq     1
    OCaml
         13

Top repositories

1

Categories

A formalization of category theory in the Coq proof assistant.
Coq
93
star
2

CTDT

Category-theoretic domain theory.
Coq
6
star
3

OPLSS

Coq
4
star
4

NbE

Normalization by Evaluation for STLC
Coq
4
star
5

UniverseComparator

A tool to compare universe levels in Coq.
OCaml
2
star
6

Categories-HoTT

The HoTT version of Categories.
Coq
1
star
7

F_mu_ref_conc_sub

Coq
1
star
8

monotone

Coq
1
star