package rocq-smt-lib

You can search for identifiers within the package.

in-package search v0.2.0

Rocq mechanisation of SMT-LIB

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

Maintainers

Sources

sha512=e4e56b9ac0b9afbdf125817ccbbbe6c5a979e5ae9b83bc67ea1b82a9b120881759119d200e588ad0c8394de38192e03141cda48e3a88e68165cfbebca6918044

Description

A mechanisation of the logical semantics of version 2.7 of the SMT-LIB standard

Tags

date:2026-10-28 logpath:SMTLIB category:Computer Science/Semantics and Compilation/Semantics keyword:SMT-LIB keyword:SMT

Published: 29 Oct 2026

Dependencies (6)

rocq-equations >= "1.3.1"
coq-hammer-tactics >= "1.3.2"
rocq-stdpp >= "1.13.0"
rocq-stdlib >= "9.0" & < "9.3~"
rocq-core >= "9.0" & < "9.3~"
dune >= "3.13"

Dev Dependencies (1)

odoc with-doc

Used by

None

Conflicts

None

On This Page

Description
Dependencies (6)
Dev Dependencies (1)
Used by
Conflicts