4 ms·Send a PR to fix it!by init0 4y agoSend a PR to fix it!shikoba 4y agoThere are so many things to fix. And they should have use coq as default language.