Hacker News new | ask | show | jobs
by gillygize 3740 days ago
"practical program development" implies that it is intended to make things and is not just proof of concept, no?
1 comments
vosper 3740 days ago
I read it as they're talking about making proof assistants practical one day, and CakeML is a step on the road to that goal. If they then move onto the next step, where does that leave CakeML?
link