The complex interplay between examples and proving: Where are we and where should we head?

Orit Zaslavsky, Eric Knuth

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'The complex interplay between examples and proving: Where are we and where should we head?'. Together they form a unique fingerprint.