Popular repositories Loading

1. SimplePlus-BeamerTheme SimplePlus-BeamerTheme Public

   Forked from PM25/SimplePlus-BeamerTheme

   A Simple & Clear Latex Beamer Theme.

   TeX 1

2. ilp_coq ilp_coq Public

   Prolog 1

3. coq-1 coq-1 Public

   Forked from LasseBlaauwbroek/coq

   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

4. lee-ml lee-ml Public

   Jupyter Notebook

5. CoqGym CoqGym Public

   Forked from princeton-vl/CoqGym

   A Learning Environment for Theorem Proving with the Coq proof assistant

   Coq

6. coq-tactician-stdlib coq-tactician-stdlib Public

   Forked from coq-tactician/coq-tactician-stdlib

   This package will recompile Coq's standard library with support for Tactician.

   Makefile