lean-4-hackers
lean-4-hackers copied to clipboard
Published
20 hours ago •
agentultra
agentultra
Results
1
lean-4-hackers issues
Sort by
recently updated
recently updated
newest added
I am running Lean (version 4.11.0-rc2, x86_64-unknown-linux-gnu, commit 0edf1bac392f, Release) and a few changes seem to have been made to the source and build hierarchy that leads to errors in...
