E

eucys-18

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.