search

wellecks / llmstep

llmstep: [L]LM proofstep suggestions in Lean 4.
MIT License
118 stars 15 forks source link

Add path for imported case #16

Closed wellecks closed 1 year ago

wellecks commented 1 year ago

Supports importing llmstep into another project