tutus-one
/
tutus-consensus
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
tutus-consensus/docs/labels.md

184 B
Raw Blame History

Project-specific labels

Component

Currently only these ones are used, but the list can be extended in future:

  • tla+

    Related to the TLA+ algorithm specification