1 search result for "author:"INRIA and contributors""

Showing 1 - 1
  1. zenon_modulo
    Documentation
    Zenon Modulo Theory
    automated theorem prover
    INRIA and contributors
    0.5.0
    BSD-3-Clause
    Used by 0 other packages
    26 Jan 2024