notes/science/proof/why.txt
Ihar Hancharenka 5dff80e88e first
2023-03-27 16:52:17 +03:00

6 строки
164 B
Plaintext

http://why3.lri.fr/
https://gforge.inria.fr/scm/?group_id=2990
https://gforge.inria.fr/scm/browser.php?group_id=2990
http://why3.lri.fr/download/manual-0.87.3.pdf