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

Name
Last commit
Last update
code Loading commit data...
poster Loading commit data...
report Loading commit data...
slides Loading commit data...
.gitignore Loading commit data...
README.txt Loading commit data...