Zulip Chat Archive
Stream: new members
Topic: Is there any tools to extract repeated proofs from existing
ZHAO Jiecheng (Dec 05 2023 at 06:08):
I have some theorems about byteArray and Array at https://gist.github.com/JiechengZhao/d5dcafd2e34c38703c2e2d7bdcc4c4bd . But they are not elegant. Are there any tools to extract repeated proofs from existing theorems?
Last updated: Dec 20 2023 at 11:08 UTC