Proving the group law for elliptic curves formally
Abstract
This report presents a formal proof of the group law for elliptic cu rves done in Coq
Origin : Files produced by the author(s)
Loading...