Haskell code to run PrudentBot (quickly) and the other bots (also quickly) can be found on github here:
https://github.com/klao/provability/blob/master/modal.hs
Haskell code to run PrudentBot (quickly) and the other bots (also quickly) can be found on github here:
https://github.com/klao/provability/blob/master/modal.hs