Share :

logsem

Logic and Semantics @ Aarhus University

@logsem

Aarhus, Denmark 🇩🇰

Refresh user

Last updated : 01:20AM UTC, Sep 23rd 2021

32 - Rank 251 913 🌍

Coq

Ranking:

World: 74 / 737

Denmark 🇩🇰: 3 / 13

Aarhus: 2 / 8

6 repositories

#74
31

TeX

Ranking:

World: 21768 / 23502

Denmark 🇩🇰: 137 / 143

Aarhus: 20 / 20

1 repository

#21768
1