I don't know the actual minimum required version, but at least the version 8.20.1 worked to complete the assignment.
I used emacs with proof general.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
I don't know the actual minimum required version, but at least the version 8.20.1 worked to complete the assignment.
I used emacs with proof general.