1 packages found

M
Q
P

Description

Equational reasoning based on the unfailing Knuth-Bendix completion procedure

Keywords

Publisher

published 1.0.09 months ago