Skip to content

GitLab

Explore

Sign in

AVA
Dandelion

Dandelion

Project information

A verifier for approximations of transcendental functions.

350 Commits
1 Branch
0 Tags

README

Created on

May 12, 2020

Copy SSH clone URLgit-rts@gitlab.mpi-sws.org:AVA/dandelion.git
Copy HTTPS clone URLhttps://gitlab.mpi-sws.org/AVA/dandelion.git