dedukti topic
List
dedukti repositories
kontroli-rs
21
Stars
4
Forks
Watchers
Alternative implementation of the logical framework Dedukti in Rust
