Alternative implementation of the logical framework Dedukti in Rust - View it on GitHub