Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
A formally verified proof of the soundness of System F
github.com/stepchowfun
2 points
mmphosis
7 years ago
No comment yet
A formally verified proof of the soundness of System F | Heykuki News