Verbalization of High-Level Formal Proofs

Amanda Holland-Minkley

(Joint work with Regina Barzilay and Robert Constable)

Next slide

Back to first slide

View graphic version