Mentions légales du service

Skip to content

GitLab

Explore

Sign in

P

pfia 2020

Project information

Material for the PFIA 2020 tutorial "Formal verification of neural networks"

11 Commits
1 Branch
0 Tags

README

Created on

June 26, 2020

Copy SSH clone URLgit@gitlab.inria.fr:jgirard/pfia-2020.git
Copy HTTPS clone URLhttps://gitlab.inria.fr/jgirard/pfia-2020.git

Loading