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

Complete the challenge

Open jcommelin opened this issue 4 years ago • 0 comments

Depends on #72 and #77

jcommelin avatar Nov 29 '21 12:11 jcommelin