Pinned Loading

1. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml 1

2. google-research google-research Public

   Forked from google-research/google-research

   Google Research

   Jupyter Notebook 1

3. HoTT HoTT Public

   Forked from HoTT/Coq-HoTT

   Homotopy type theory

   Coq 1

4. Maple-ClusterAnalysis Maple-ClusterAnalysis Public

   Forked from dskoog/Maple-ClusterAnalysis

   A Maple language package for cluster analysis