03ec223fd7
The why3 project is worried that users will be confused between this package and a "vanilla" why3, which was simultaneously added with this one. They prefer that this port be completely renamed. While I ponder that, I can at least improve the situation by fixing the descriptions to lessen the chance of confusion between the ports.
5 lines
198 B
Text
5 lines
198 B
Text
This is a component of SPARK 2014. Those looking for the deductive
|
|
program verification platform known as why3 should refer to math/why3
|
|
instead.
|
|
|
|
WWW: https://forge.open-do.org/projects/spark2014
|