3 ms·
You can do specification as type in ATS2 too. My biased view is that I find ATS2 to be far more practical than using coq.
by chotu 13y ago
You can do specification as type in ATS2 too. My biased view is that I find ATS2 to be far more practical than using coq.