Zulip Chat Archive
Stream: lean-gptf
Topic: LeanStep
Arthur Paulino (Dec 28 2021 at 11:23):
Hello! Is the LeanStep dataset available?
Alexander Bentkamp (Dec 29 2021 at 11:09):
Maybe you are looking for this? https://github.com/jesse-michael-han/lean-step-public
Last updated: Dec 20 2023 at 11:08 UTC