1 search result for "tag:"logpath:SMTLIB""

Showing 1 - 1
  1. rocq-smt-lib

    No documentation

    Rocq mechanisation of SMT-LIB
    date:2026-10-28 logpath:SMTLIB category:Computer Science/Semantics and Compilation/Semantics keyword:SMT-LIB keyword:SMT
    Shiva Tamil Kumaran Andreas Lööw Philippa Gardner
    1.0
    MIT
    Used by 0 other packages
    29 Oct 2026