Lib.rs

› Cryptography › Magic Beans
#shared #across #packages #modality #logic #verifiable #formal-verification

modality-utils

by Foy Savas

4 releases

0.1.5 Dec 16, 2024
0.1.4 Dec 13, 2024
0.1.2 Dec 13, 2024
0.1.0 Dec 3, 2024

#11 in #modality


Used in 2 crates

MIT license

33KB
717 lines

Common utilities shared across Modality packages

Dependencies

~20–33MB
~585K SLoC