Hypertext navigation of ACL2 proofs with XMLEye
- Antonio García-Domínguez*
- , Francisco Palomo-Lozano
- , Inmaculada Medina-Bulo
*Corresponding author for this work
- Escuela Superior de Ingeniería
- Universidad de Cádiz
Research output: Chapter in Book/Published conference output › Conference publication
1
Link opens in a new tab
Citation
(Scopus)