circlefin malachite Specifications Discussions
Pinned Discussions
Specifications Discussions
Discussions related to English and Quint specifications
-
You must be logged in to vote -
You must be logged in to vote spec: revisit the "trust" relation between consensus logic and driver
specRelated to specifications -
You must be logged in to vote -
You must be logged in to vote spec: algorithm clarifications and changes around L29
specRelated to specifications -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote
