formal
| Crates.io | formal |
| lib.rs | formal |
| version | 0.1.0 |
| created_at | 2021-05-01 04:23:15.753223+00 |
| updated_at | 2021-05-01 04:23:15.753223+00 |
| description | The Formal Programming Language Toolchain |
| homepage | |
| repository | https://github.com/formal-lang/formal |
| max_upload_size | |
| id | 391796 |
| size | 2,555 |
Nathan Dixon (ndixon)
documentation
https://doc.formal-lang.org/toolchain/