Giters
emarzion
/
SystemT
An interpreter for Gödel's System T
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
11
Watchers:
3
Issues:
0
Forks:
0
emarzion/SystemT Stargazers
bandali0
cwgroppe
Daniel Díaz Carrete
danidiaz
declan
decb
Ed_
Ed94
Graham Joncas
gjoncas
Nikolay Krupiy
hnkovr
Jared Corduan
JaredCorduan
Luca De Paulis
lucadp19
Samuel Schlesinger
SamuelSchlesinger
Vanessa McHale
vmchale
