lean-dojo/LeanCopilot Issues
CI Failed
Closed 4Proof Suggestion Format Issue
Closed 3Windows Support
Updated 5Premise Selection on GPUs
Updated 1Lean 4.5.0 , not working
Closed 2buildArchive?
Closed 2Usability Improvements
ClosedCI
Closed 1Detect Model Updates
Closed