GitHub repository: maxhaslbeck/verML
Primary language: Isabelle
Created: 2018-10-17T16:21:07Z
Description: Verification of Machine Learning Practical Course