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

tla: clean code #60

Closed karbyshev closed 1 year ago