summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/why3-for-spark: Version bump to 2018Tupone Alfredo2018-07-131-0/+25
* sci-mathematics/why3-for-spark: Enable coq tacticsTupone Alfredo2017-11-011-0/+26
* sci-mathematics/why3-for-spark: Adding why3 for sparkTupone Alfredo2017-10-191-0/+14