search

jwaldmann / star-exec-presenter

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

UltimateBuchiAutomizer2016 #100

Closed Heizmann closed 8 years ago