GitHub repository: tomasrichter/proof-validator
Created: 2017-08-20T07:31:43Z
Description: Repository for bachelor thesis