Tag Archives: VS Code
No errors.
Does your Lean file contain errors? Try and cut down. Continue reading
Posted in Learning Lean, Technical assistance, Uncategorized
Tagged CoCalc, error, errors, VS Code
Leave a comment
Xena 