A Learning-Based Fact Selector for Isabelle/HOL

J.C. Blanchette, David Greenaway, Cezary Kaliszyk, Daniel Kühlwein, Josef Urban

Research output: Contribution to JournalArticleAcademicpeer-review

90 Downloads (Pure)

Fingerprint Dive into the research topics of 'A Learning-Based Fact Selector for Isabelle/HOL'. Together they form a unique fingerprint.

Engineering & Materials Science