[isabelle-dev] Sum_of_Squares_Remote failure
makarius at sketis.net
Wed Aug 7 15:21:12 CEST 2013
The remote Sum_of_Squares tests keeps failing (for about one week already,
today we are at 45678f8e7a0f).
Is there a maintainer for that?
One could also think about abondoning the server and using a local version of
the tool, wrapped up as Isabelle component in the way that is now standard.
(It is also some work to maintain that, of course.)
More information about the isabelle-dev