openmath
| Crates.io | openmath |
| lib.rs | openmath |
| version | 0.0.0 |
| source | src |
| created_at | 2023-09-24 18:35:17.286917 |
| updated_at | 2023-09-24 18:35:17.286917 |
| description | openmath standard parser |
| homepage | https://lucalewin.dev/projects/openmath |
| repository | https://github.com/qed-project/openmath |
| max_upload_size | |
| id | 982118 |
| size | 1,593 |
Luca Lewin (lucalewin)
documentation
https://lucalewin.dev/docs/openmath
README
openmath
Rust library for parsing openmath files