derivation_tree
| Crates.io | derivation_tree |
| lib.rs | derivation_tree |
| version | 0.1.0 |
| created_at | 2023-08-14 01:16:02.967464+00 |
| updated_at | 2023-08-14 01:16:02.967464+00 |
| description | Utilities for describing derivation trees. |
| homepage | |
| repository | https://github.com/DavePearce/DerivationTree |
| max_upload_size | |
| id | 943734 |
| size | 21,336 |
David Pearce (DavePearce)
documentation
README
DerivationTree
Utilities for describing proof derivations.