MUSTARD icon indicating copy to clipboard operation
MUSTARD copied to clipboard
verified publisher icon Eleanor-H

how to switch to lean4

Open LuoKaiGSW opened this issue 1 year ago • 0 comments

Thank you for your work! Currently, most of the community is using Lean4 for data synthesis. I would like to ask if there is any quick way for this project to switch to Lean4?

LuoKaiGSW avatar Oct 17 '24 08:10 LuoKaiGSW