Smash the RT for Isabelle (Preview)
Added 2018-09-30 19:37:17 +0000 UTCWorking on a big update for Isabelle. Look forward to it!
Working on a big update for Isabelle. Look forward to it!
