Matěj
Matěj
Any idea about this one?
I was just about to open a ticket for this feature. It still sounds like a reasonable and useful idea to me. Could you please consider reopening this?
I think I'd still be quite happy to have this feature. Is there any way I can help?
Hi, is there something left to be done here? Which files specifically need to be annotated?
Somehow, the issue has resolved it for us after a couple upgrades. I'm closing as I don't believe this is going to get any attention from the developers in this...
Is this a feature that would be welcome by the maintainers but there's not enough capacity to implement it? If so, I would be happy to take a look and...
This still appears to be a problem and I'm still open to collaboration.
Thanks for the praise and for the tip. I'm aware of both coq-community and awesome-coq and I intend to mention them once I redesign the document. This project is currently...
60 TWh je spotřeba za rok. Černá křivka ukazuje měsíční spotřebu, která vypadá, že je průměrně ~5 TWh, což by za 12 měsíců dalo dohromady 60 TWh. Dává smysl?
Rešerši [studií transformace energetiky](https://faktaoklimatu.cz/studie/2020-reserse-transformace-energetiky) už máme a snažím se ji aktualizovat pokaždé, když vyjde něco nového. Prošel jsem to jen zběžně, ale vypadá to, že nic zásadního nám tam nechybí.