razor-fol
| Crates.io | razor-fol |
| lib.rs | razor-fol |
| version | 0.1.0 |
| created_at | 2020-01-03 17:56:19.817331+00 |
| updated_at | 2020-01-03 17:56:19.817331+00 |
| description | razor-fol is a library for parsing and syntactic manipulation of first-order theories. |
| homepage | https://github.com/salmans/rusty-razor |
| repository | https://github.com/salmans/rusty-razor |
| max_upload_size | |
| id | 194842 |
| size | 201,942 |
Salman Saghafi (salmans)
documentation
https://salmans.github.io/rusty-razor/intro.html