was by ProvableHQ. Owned by Howard Wu, Collin Chin.
#16 in #leo
3KB
Linter of the Leo programming language