search

snu-sf-class / pl2016

14 stars 17 forks source link

Emacs Command About Proof #5

Closed Ailrun closed 8 years ago

Ailrun commented 8 years ago

In professor's presentation, there is a command for detail proof generated by COQ. Do you know about it, sir?

Ailrun commented 8 years ago

Is it coq-Print-with-all?

jeehoonkang commented 8 years ago

C-c C-a C-p in Emacs