GitHub repository: DavePearce/DerivationTree
Primary language: Rust
Created: 2023-08-14T00:23:54Z
Description: Utilities for describing proof derivations.