Skip to content
@GeoCoq

GeoCoq

Popular repositories Loading

  1. GeoCoq GeoCoq Public

    A formalization of geometry in Coq based on Tarski's axiom system

    Coq 187 26

  2. opam-coq-archive opam-coq-archive Public

    Forked from coq/opam

    Archive for all Coq related OPAM packages organized in various repositories

    OCaml 1

Repositories

Showing 2 of 2 repositories
  • GeoCoq Public

    A formalization of geometry in Coq based on Tarski's axiom system

    GeoCoq/GeoCoq’s past year of commit activity
    Coq 187 LGPL-3.0 26 3 1 Updated May 31, 2024
  • opam-coq-archive Public Forked from coq/opam

    Archive for all Coq related OPAM packages organized in various repositories

    GeoCoq/opam-coq-archive’s past year of commit activity
    OCaml 1 LGPL-2.1 175 0 0 Updated Mar 24, 2024

Top languages

Loading…

Most used topics

Loading…