WIP: Proof tracing from theorem library #28

Closed
aniva wants to merge 0 commits from library/trace into dev
Owner

This generates training data

Reference: https://github.com/semorrison/lean-training-data

This generates training data Reference: https://github.com/semorrison/lean-training-data
aniva added the
category
feature
part/Environment
priority
low
labels 2023-11-06 11:12:34 -08:00
aniva added this to the 0.3 milestone 2023-11-06 11:12:38 -08:00
aniva force-pushed library/trace from f5ed87f740 to 1638c308a9 2024-04-11 15:44:03 -07:00 Compare
aniva closed this pull request 2024-04-11 15:45:01 -07:00

Pull request closed

Sign in to join this conversation.
No description provided.