Fingerprint
Dive into the research topics of 'Adapting proof automation to adapt proofs'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Adapting proof automation to adapt proofs
Talia Ringer, John Leo, Nathaniel Yazdani, Dan Grossman
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution