GitHub repository: 01mf02/kontroli-rs
Primary language: Rust
Created: 2019-12-10T08:55:56Z
Description: Alternative implementation of the logical framework Dedukti in Rust