jvanbruegge / isabelle-lambda-calculus

A formal definition and verification of System F. To be extended to System Fc

jvanbruegge/isabelle-lambda-calculus Stargazers

Andrejs Agejevs
esneko
Fabiano Taioli
ftaiolivista
Gary-oak-Star
Jan van Brügge
jvanbruegge
Denis Erfurt
mhhf
Berk Özkütük
ozkutuk
Sora Morimoto
smorimoto
Tim Kersey
tkersey
Tristan de Cacqueray
TristanCacqueray
Yu Zhang
Yu-zh

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.