Danil Annenkov

icon indicating a website link http://dannenkov.me/ icon indicating an email [email protected]

icon company Concordium icon location Aarhus

Results 1 repositories owned by Danil Annenkov

two-level

27
Stars
1
Forks
Watchers

Two-Level Type Theory

verified publisher icon annenkov