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

Updated to work with coq 8.10.1, requires merging a branch in OUVerT. Uses mathcomp version 1.10.0.

david-masters commented 4 years ago

This also contains my commits to the file I created, mdp.v