Package Usage: cargo: nested-modules

Building blocks for nested module systems
2 versions
Latest release: over 4 years ago
1 dependent package
4,929 downloads total

View more package details: https://packages.ecosystem.code.gouv.fr/registries/crates.io/packages/nested-modules

Dependent Repos 1

Deducteam/kontroli-rs Fork of 01mf02/kontroli-rs

Alternative implementation of the logical framework Dedukti in Rust

Size: 770 KB - Last synced: about 18 hours ago - Pushed: almost 3 years ago