search

dcastro / dcastro.github.io

https://diogocastro.com
Other
6 stars 1 forks source link

On emptiness, correctness and reasoning #1

Open dcastro opened 8 years ago

dcastro commented 8 years ago

Placeholder for comments for https://diogocastro.com/blog/2017/09/09/on-emptiness-correctness-and-reasoning/