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

Add cypress tests

Open joneugster opened this issue 1 year ago • 0 comments

see lean4monaco for an example

joneugster avatar Aug 20 '24 13:08 joneugster