Kočka vaří formální důkaz, že vyper je nejlepší jazyk