[Termtools] Technical Problems with AProVE (C Category)

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Thu Aug 6 10:13:25 CEST 2015


Hi Jera,

> we want to propose a rerun of the C category, 

that's for the community/the SC to discuss/decide,
and I will oblige, but I absolutely cannot do it
this or next week, as I am busy.

- Johannes.



More information about the Termtools mailing list