leonv

0 followers · 0 following

• Joined on 2023-05-31

Repositories

15

Projects Packages Public activity Starred repositories

leonv created repository TypeTheory/resolution 2023-06-04 17:11:41 +02:00

leonv created branch main in TypeTheory/PCF 2023-06-01 12:27:52 +02:00

leonv pushed to main at TypeTheory/PCF 2023-06-01 12:27:52 +02:00

3b18671079 Implemented typechecking (not 100% correct)

c11d46956b Defining project outline

531ec6e412 Initial commit from template

leonv created repository TypeTheory/PCF 2023-06-01 12:26:23 +02:00