Re: [isabelle] VerifyThis 2019: Lammich & Wimmer did it again!



> Unfortunately the 2019 results are not online yet.
They are!
http://www.pm.inf.ethz.ch/research/verifythis/Prizes.html






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.