Search
Now showing items 1-1 of 1
Article
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 ...