scientific article; zbMATH DE number 7552937

DOI10.4204/EPTCS.114MaRDI QIDQ5088166zbMATH OpenFDO

Authors

Publication date 4 July 2022

Published in Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL http://eptcs.web.cse.unsw.edu.au/content.cgi?ACL22013

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Formalization of mathematics in connection with theorem provers (68V20)

Cited in

(1)

• Milestones from the Pure Lisp Theorem Prover to ACL2

Describes a project that uses

Uses Software

• ACL2

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5088166)