Mentions légales du service

Skip to content

GitLab

Explore

Sign in

W

WhyMP

Project information

WhyMP is an arbitrary-precision integer library for C that is inspired by GMP, implemented in WhyML, and formally verified using Why3.

15 Commits
2 Branches
3 Tags

README
GNU General Public License v3.0 or later
CHANGELOG

Created on

February 05, 2020

Copy SSH clone URLgit@gitlab.inria.fr:why3/whymp.git
Copy HTTPS clone URLhttps://gitlab.inria.fr/why3/whymp.git

Loading