Now showing items 1-1 of 1

    • Icon

      Modelling algebraic structures and morphisms in ACL2  [Article]

      Heras, Jonathan; Martín Mateos, Francisco Jesús; Pascual, Vico (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 ...