Popular repositories Loading

1. DAIR DAIR Public

   Some code for DAIR CDT Semester 1 course

   Jupyter Notebook 2 4

2. Python-Z3-NNVerif Python-Z3-NNVerif Public

   Short tutorial on Neural Net Verification in Python

   TeX 1

3. FStar FStar Public

   Forked from FStarLang/FStar

   Verification system for effectful programs

   F*

4. agda-stdlib agda-stdlib Public

   Forked from agda/agda-stdlib

   The Agda standard library

   Agda

5. vehicle vehicle Public

   Forked from vehicle-lang/vehicle

   A toolkit for enforcing logical specifications on neural networks

   Haskell