7f8351fbcb
This will be RUN_DEPENDS for lang/spark when it is fixed. The "stock" math/alt-ergo cannot be used, it locks up when gnatprove calls it.
4 lines
190 B
Text
4 lines
190 B
Text
This is a component of SPARK 2015: Those looking for the automatic
|
|
theorem prover known as Alt-Ergo should refer to math/alt-ergo instead
|
|
|
|
WWW: https://forge.open-do.org/projects/spark2014
|