formality
| Crates.io | formality |
| lib.rs | formality |
| version | 0.1.11 |
| created_at | 2018-10-18 15:17:18.57973+00 |
| updated_at | 2018-12-07 16:41:43.543236+00 |
| description | An efficient programming language featuring formal proofs. |
| homepage | |
| repository | |
| max_upload_size | |
| id | 91367 |
| size | 117,666 |
Victor Taelin (VictorTaelin)