issues
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
Prove more equivalences for well-formedness conditions
#62
Closed
karbyshev
closed
7 months ago