News

Minitest 6 + Problem Set 7

Written on 05.12.2023 19:06 by Bernd Finkbeiner

Dear all,

The results of today's minitest and the new problem set are online!

Cheers,
The Verification team

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.