/FormalML

Formalization of Machine Learning Theory with Applications to Program Synthesis

Primary LanguageCoqApache License 2.0Apache-2.0

Stargazers