Skip to content

GitLab

Explore

Sign in

AVA
Dandelion

Dandelion

Project ID: 1637

350 Commits
1 Branch
0 Tags

A verifier for approximations of transcendental functions.

Clone with SSH
Clone with HTTPS
Open in your IDE
Visual Studio Code (SSH)

Visual Studio Code (HTTPS)

IntelliJ IDEA (SSH)

IntelliJ IDEA (HTTPS)
Download source code
zip

tar.gz

tar.bz2

tar

Download source code
zip

tar.gz

tar.bz2

tar

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

README