Skip to main content
eScholarship
Open Access Publications from the University of California

Automated Proof Planning for Instructional Design