Buscar
Mostrando ítems 1-1 de 1
Artículo
Modelling algebraic structures and morphisms in ACL2
(Springer, 2015)
In this paper, we present how algebraic structures and morphisms can be modelled in the ACL2 theorem prover. Namely, we provide a guide- line to implement a set of tools that facilitates the formalisations related ...