If you can build a simpler implementation just using random data can help a lot.

		pawelmurias on Oct 28, 2023 \| parent \| context \| favorite \| on: Can the language of proof assistants be used for g... If you can build a simpler implementation just using random data can help a lot.