Skip to content
@ml4tp

ml4tp

Popular repositories Loading

  1. gamepad gamepad Public

    A Learning Environment for Theorem Proving

    Coq 66 15

  2. tcoq tcoq Public

    Modification to Coq to record intermediate proof states encountered during a proof

    OCaml 7 2

Repositories

Showing 2 of 2 repositories
  • gamepad Public

    A Learning Environment for Theorem Proving

    ml4tp/gamepad’s past year of commit activity
    Coq 66 Apache-2.0 15 10 2 Updated Jun 21, 2022
  • tcoq Public

    Modification to Coq to record intermediate proof states encountered during a proof

    ml4tp/tcoq’s past year of commit activity
    OCaml 7 LGPL-2.1 2 4 0 Updated May 11, 2019

Top languages

Loading…

Most used topics

Loading…