scathach, 5 months ago I think it's high time I learn coq Would be awesome to automate my homework
I think it's high time I learn coq
Would be awesome to automate my homework