Lib.rs

› Cryptography › Magic Beans
#lib #node #modality #modal #temporal #verifiable #formal-verification

modality-network-node

by Foy Savas

1 unstable release

0.1.5 Dec 16, 2024

#12 in #modality


Used in modality

MIT license

52KB
1K SLoC

Modality network node lib

Dependencies

~29–66MB
~1M SLoC