7 search results for "tag:"interactive theorem prover""

Showing 1 - 7
  1. 28.1
    LGPL-2.1-only
    Used by 3 other packages
    04 Mar 2024
  2. frama-c-base

    No documentation

    15.0
    LGPL-2.1-only
    Used by 2 other packages
    30 Oct 2018
  3. why

    No documentation

    2.41
    LGPL-2.1-only
    Used by 0 other packages
    03 Jul 2018
  4. 1.7.1
    LGPL-2.1-only
    Used by 7 other packages
    25 Jan 2024
  5. why3-base

    No documentation

    0.88.3
    LGPL-2.1-only
    Used by 1 other packages
    12 Jan 2018
  6. 1.7.1
    LGPL-2.1-only
    Used by 0 other packages
    25 Jan 2024
  7. 1.7.1
    LGPL-2.1-only
    Used by 0 other packages
    25 Jan 2024