search

anoma / typhon

Formalization of Typhon protocol
https://specs.anoma.net/main/architecture/consensus/typhon.html
GNU General Public License v3.0
29 stars 4 forks source link

HPaxos: define transitive closure for prev #59

Closed karbyshev closed 1 year ago