Coq8.10.1 - Githubissues

OUPL / MLCert

Certified Machine Learning

40 stars 4 forks source link

Closed david-masters closed 4 years ago

david-masters commented 4 years ago

Works with mathcomp 1.10.1 and coq version 8.9.1 and 8.10.1 Also contains addition from my mdp branch

robinjanette commented 4 years ago

Is this PR ready to be merged @david-masters @gstew5 ? I need to update my setup once this is merged.