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.

Created on

June 03, 2018