Fingerprint
Dive into the research topics of 'Proof-pattern recognition and lemma discovery in ACL2'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Proof-pattern recognition and lemma discovery in ACL2
Jonathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
26
Citations
(Scopus)