From: Mark Thom Date: Wed, 13 May 2020 23:58:39 +0000 (-0300) Subject: Merge pull request #501 from triska/elliptic_curves X-Git-Tag: v0.8.123~33^2~1 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c07274a6fa7938ed9e78346e26cc13f347e5636f;p=scryer-prolog.git Merge pull request #501 from triska/elliptic_curves ADDED: Reasoning about elliptic curves in library(crypto). --- c07274a6fa7938ed9e78346e26cc13f347e5636f