sorex-lean-macros
| Crates.io | sorex-lean-macros |
| lib.rs | sorex-lean-macros |
| version | 1.0.0 |
| created_at | 2026-01-08 02:21:39.559022+00 |
| updated_at | 2026-01-15 23:51:22.636663+00 |
| description | Procedural macros for generating Lean 4 specifications from Rust sorex code |
| homepage | |
| repository | https://github.com/harryzorus/sorex |
| max_upload_size | |
| id | 2029407 |
| size | 91,253 |
Harīṣh Tummalachērla (harryzorus)