iris-lean icon indicating copy to clipboard operation
iris-lean copied to clipboard
verified publisher icon leanprover-community

Add CI

Open digama0 opened this issue 9 months ago • 4 comments

Currently there is no CI. We should set up lean-action to build the project.

digama0 avatar Mar 17 '25 15:03 digama0