A trivial TLA+ loc counter - Githubissues

microsoft / CCF

Confidential Consortium Framework

https://microsoft.github.io/CCF/

Apache License 2.0

761 stars 205 forks source link

A trivial TLA+ loc counter #6152

Closed achamayou closed 2 weeks ago