summaryrefslogtreecommitdiffstats
path: root/math/alt-ergo-spark/pkg-descr
blob: 3280385dd6f4f0ede7ae0451d4c95592d828b0ca (plain) 
1
2
3
4

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
OpenPOWER on IntegriCloud