Types 10 years ago
I had/have a similar feeling.
I have thought about it some time ago and came up with the following proposal:
http://matej-kosik.github.io/www/doc/coq/coq-trunk-proof-tre...
matej_kosik
Posts0
Comments2
No posts found.
HN user
I had/have a similar feeling.
I have thought about it some time ago and came up with the following proposal:
http://matej-kosik.github.io/www/doc/coq/coq-trunk-proof-tre...
s/vinostroj/vlnostroj