Package Usage: cargo: dedukti-parse

Parser for the Dedukti file format
4 versions
Latest release: presque 4 ans ago
1 dependent package
3 551 downloads total

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

Dependent Repos 1

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

Alternative implementation of the logical framework Dedukti in Rust

Size: 770 ko - Last synced: 6 jours ago - Pushed: plus de 3 ans ago