GitHub repository: IBM/FormalML
Primary language: Coq
Created: 2020-08-13T21:26:18Z
Description: Formalization of Machine Learning Theory with Applications to Program Synthesis