GitHub repository: maxhaslbeck/verML-1
Primary language: Isabelle
Description: Verification of Machine Learning Practical Course