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

28 Citations (Scopus)

1 results

Finished
Coalgebraic Logic Programming for Type Inference: Parallelism and Corecursion for New Generation of Programming Languages (Joint with the University of Bath)
Komendantskaya, E. (Investigator)
1/09/13 → 31/01/17
Project: Research