2 ms·
If you think the programming tools are the hard point, I have a proof assistant and program extractor to show you.
by microcolonel 9y ago
If you think the programming tools are the hard point, I have a proof assistant and program extractor to show you.