matej_kosik

7 ms·

1. 1.▲
   by matej_kosik 20d ago

   Trump's idol Putin has a similar mental shortcut: those who dare to oppose "Russian World" are Nazis.
2. 2.▲
   by matej_kosik 10y 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...
3. 3.▲
   by matej_kosik 15y ago

   s/vinostroj/vlnostroj