search

wellecks / llmstep

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

Refactor server #12

Closed rah4927 closed 1 year ago

rah4927 commented 1 year ago

Refactored the main server so that we can use the same client code on each side.