-
Examples missing from the gallery 0 of 10 tasks completed#643 component: website
-
Review the set of 'old versions' of provers 0 of 6 tasks completed#633 1.6.0
-
Check counterexamples classification benchmark 28 of 38 tasks completed
-
Improve IDE for counterexamples 0 of 2 tasks completed
-
Extend Ptree helpers 0 of 3 tasks completed