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

feat(frontends/lean/parser.cpp): store command end pos

Open digama0 opened this issue 3 years ago • 0 comments

digama0 avatar Aug 18 '22 19:08 digama0