DefunT

swMATH32315MaRDI QIDQ44026FDOQ44026

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/1810.05666

Cited In (2)

• TXDT
• Milestones from the Pure Lisp Theorem Prover to ACL2

This page was built for software: DefunT