search

jwaldmann / star-exec-presenter

presentation platform for star-exec written in Haskell and based upon Yesod
2 stars 7 forks source link

use new CeTA (with two arguments) #135

Closed jwaldmann closed 7 years ago

jwaldmann commented 7 years ago

There is a new version of CeTA that takes two inputs (the problem file and the proof file). This should be used as the post-processor for the certified categories.