Popular repositories Loading

1. Quantik-solved Quantik-solved Public

   Python

2. UniMath UniMath Public

   Forked from UniMath/UniMath

   This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

   Coq

3. Kuratowski_in_UniMath Kuratowski_in_UniMath Public

   Repository of the code within Kuratowski Finite Sets in the UniMath Library research paper

   Coq

4. Contrib Contrib Public

   Forked from UniMath/Contrib

   Coq

5. REMLA-team5 REMLA-team5 Public

   Simple ML application containing the progress made in the REMLA at the TU Delft

   Python

6. spatial-model-reductions spatial-model-reductions Public

   Forked from greg-neustroev/spatial-model-reductions

   Julia