4 ms·
"practical program development" implies that it is intended to make things and is not just proof of concept, no?
by gillygize 11y ago
"practical program development" implies that it is intended to make things and is not just proof of concept, no?
- vosper 11y agoI 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?