leo3-macros
| Crates.io | leo3-macros |
| lib.rs | leo3-macros |
| version | 0.1.6 |
| created_at | 2025-12-09 08:51:20.807573+00 |
| updated_at | 2025-12-14 06:24:10.131793+00 |
| description | Procedural macros for Leo3 (Rust-Lean4 bindings) |
| homepage | |
| repository | https://github.com/AndPuQing/leo3.git |
| max_upload_size | |
| id | 1975140 |
| size | 13,133 |
PuQing (AndPuQing)