Skip to content
@Coq-Polyhedra

Coq-Polyhedra

Pinned Loading

  1. Coq-Polyhedra Coq-Polyhedra Public

    Formalizing convex polyhedra in Coq

    Coq 22 4

Repositories

Showing 5 of 5 repositories
  • Coq-Polyhedra Public

    Formalizing convex polyhedra in Coq

    Coq-Polyhedra/Coq-Polyhedra’s past year of commit activity
    Coq 22 4 0 2 Updated Jul 8, 2024
  • order Public
    Coq-Polyhedra/order’s past year of commit activity
    Coq 1 1 0 1 Updated Jun 27, 2024
  • Coq-Polyhedra/coq-binreader’s past year of commit activity
    OCaml 0 1 0 0 Updated Aug 24, 2023
  • finmap Public
    Coq-Polyhedra/finmap’s past year of commit activity
    Coq 0 0 0 0 Updated Dec 7, 2022
  • mathcomp Public
    Coq-Polyhedra/mathcomp’s past year of commit activity
    Coq 0 0 0 0 Updated Dec 7, 2022

Top languages

Loading…

Most used topics

Loading…