José A. Alonso
Sorted rewriting, conditional rewriting, and logically constrained rewriting (in Isabelle/HOL). ~ Akihisa Yamada. https://www.isa-afp.org/entries/Sorted_Rewriting.html #IsabelleHOL #ITP
Sorted Rewriting, Conditional Rewriting, and Logically Constrained Rewriting

Sorted Rewriting, Conditional Rewriting, and Logically Constrained Rewriting in the Archive of Formal Proofs

12:37pmWeb