1 Release published by 1 person

• v4.14.0

  published Dec 25, 2024

1 Pull request merged by 1 person

• bump to v4.14.0

  #138 merged Dec 24, 2024

2 Issues closed by 1 person

• Any hope for AMD/Intel/etc. owners?

  #132 closed Dec 24, 2024

• Premise Selection on GPUs

  #53 closed Dec 24, 2024

1 Issue opened by 1 person

• Lean4Example error: build failed and Fail to use "suggest_tactics"

  #137 opened Dec 23, 2024

8 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• LeanCopilot + MathLib

  #126 commented on Dec 24, 2024 • 0 new comments

• I have a "build failed" problem

  #133 commented on Dec 24, 2024 • 0 new comments

• Fail to use "suggest_tactics"

  #134 commented on Dec 24, 2024 • 0 new comments

• Docker build fails undefined symbol: initialize_Lean_Replay

  #127 commented on Dec 25, 2024 • 0 new comments

• "The Lean Server has stopped processing this file" error

  #135 commented on Dec 25, 2024 • 0 new comments

• Lean exited with code 132

  #130 commented on Dec 25, 2024 • 0 new comments

• Build fails

  #136 commented on Dec 26, 2024 • 0 new comments

• Problem with the cloud release mechanism after recent `Lake` updates

  #115 commented on Dec 27, 2024 • 0 new comments