GitHub repository: CT075/dependent-ghost
Primary language: Rust
Created: 2020-07-15T04:40:23Z
Description: An implementation of the "Ghosts of Departed Proofs" technique in Rust