issues
search
microsoft
/
CCF
Confidential Consortium Framework
https://microsoft.github.io/CCF/
Apache License 2.0
761
stars
205
forks
source link
Can TLAi catch copy pasted comments from the wrong spec?
#6132
Closed
achamayou
closed
4 weeks ago