stipe
| Crates.io | stipe |
| lib.rs | stipe |
| version | 0.1.0 |
| created_at | 2025-12-01 03:28:39.414509+00 |
| updated_at | 2025-12-01 03:28:39.414509+00 |
| description | Set-theoretic structural type system and solver |
| homepage | |
| repository | https://github.com/Past9/stipe |
| max_upload_size | |
| id | 1959230 |
| size | 1,514 |
core-devs (github:sunshine-protocol:core-devs)