Giters
ilya-klyuchnikov
/
ttlite
A SuperCompiler for Martin-Löf's Type Theory
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
121
Watchers:
10
Issues:
0
Forks:
9
ilya-klyuchnikov/ttlite Watchers
Musa Al-hassy
alhassy
Dimitur Krustev
dkrustev
evgenum
ilya-klyuchnikov
Liam Goodacre
LiamGoodacre
Ricardo Mansilla
mansilla
Михаил Бахтерев
mbakhterev
natalieklyuchnikova
Sergei Romanenko
sergei-romanenko
Viclib
viclib