E

eucys-18

Project information

Repository for the 2018 European Union Contest for Young Scientists project "Hilbert Meets Isabelle".

NOTE! This repository is not maintained anymore. Please refer to https://gitlab.com/hilbert-10/dprm.

25 Commits
1 Branch
0 Tags

README

Created on

June 03, 2018

Loading