Thread:AnimationFan15/@comment-32355576-20180928212913/@comment-24364245-20180929231412

I really want to try out Isabelle.