Popular repositories Loading

1. MLCert MLCert Public

   Certified Machine Learning

   Coq 41 4

2. cs3200-f21 cs3200-f21 Public

   Course website for the Fall 2021 offering of CS 3200: Organization of Programming Languages

   Python 5 11

3. OUVerT OUVerT Public

   Ohio University Verification Toolsuite

   Coq 1

4. MWU MWU Public

   Verified Multiplicative Weights Update

   OCaml 1

5. VerifiedSystems VerifiedSystems Public

   Materials to support an independent study on verified systems software

   1 1

6. DPSS DPSS Public

   Coq