1 search result for "author:"The Coq development team, INRIA, CNRS, and contributors""

Showing 1 - 1
  1. coqide
    Documentation
    The Coq Proof Assistant --- GTK3 IDE
    The Coq development team, INRIA, CNRS, and contributors
    8.20.1
    LGPL-2.1-only
    Used by 0 other packages
    20 Jan 2025