Zerknij, jak to jest pisać specyfikację Quint z pustego pliku. Piszę nową specyfikację dla konsensusu Tendermint, teraz z całą wiedzą i technikami, które opracowaliśmy przez ostatnie 3 lata. Moja ulubiona część to opisy uruchomień. Ich pisanie sprawiło, że wszystko zadziałało tak dobrze!