GitHub repository: Helli/IsabelleBasicNumericalProofs
Primary language: Isabelle
Created: 2015-10-05T13:05:02Z
Description: bachelor thesis in informatics