- Coverage
- 15.91%
49 out of 308 items documented0 out of 172 items with examples - Ø build duration
- all releases: 1m 42s Average build duration of successful builds in releases after 2024-10-23.
- Links
- Homepage
-
ProvableHQ/leo
4809 711 165 - crates.io
- Dependencies
- Versions
-
- 4.0.1 (2026-04-14)
- 4.0.0 (2026-03-31)
- 3.5.0 (2026-03-09)
- 3.4.0 (2025-12-02)
- 3.3.1 (2025-10-29)
- 3.3.0 (2025-10-28)
- 3.2.0 (2025-09-09)
- 3.1.0 (2025-08-12)
- 3.0.0 (2025-07-22)
- 2.7.3 (2025-07-15)
- 2.7.2 (2025-07-10)
- 2.7.1 (2025-06-21)
- 2.7.0 (2025-06-17)
- 2.6.1 (2025-05-27)
- 2.6.0 (2025-05-21)
- 2.5.0 (2025-04-03)
- 2.4.1 (2024-12-17)
- 2.4.0 (2024-12-03)
- 2.3.0 (2024-09-19)
- 1.12.0 (2024-05-13)
- 1.11.0 (2024-03-30)
- 1.10.0 (2023-10-20)
- 1.9.3 (2023-08-15)
- 1.9.2 (2023-08-08)
- 1.9.1 (2023-07-24)
- 1.9.0 (2023-07-20)
- 1.8.3 (2023-07-06)
- 1.8.2 (2023-06-29)
- 1.8.1 (2023-06-24)
- 1.8.0 (2023-06-16)
- 1.7.2 (2023-06-01)
- 1.7.1 (2023-05-23)
- 1.7.0 (2023-04-20)
- 1.6.3 (2023-02-18)
- 1.6.2 (2022-12-13)
- 1.6.1 (2022-11-30)
- 1.6.0 (2022-11-15)
- 1.5.3 (2021-07-30)
- 1.5.2 (2021-06-21)
- 1.5.1 (2021-06-09)
- 1.5.0 (2021-06-01)
- 1.4.0 (2021-04-15)
- 1.3.0 (2021-04-09)
- 1.2.3 (2021-02-27)
- 1.2.2 (2021-02-07)
- 1.2.1 (2021-02-07)
- 1.2.0 (2021-02-03)
- 1.1.8 (2021-02-03)
- 1.0.8 (2021-01-12)
- 1.0.7 (2020-12-14)
- 1.0.6 (2020-12-03)
- 1.0.5 (2020-12-02)
- 1.0.4 (2020-11-07)
- 1.0.3 (2020-09-03)
- 1.0.2 (2020-08-29)
- 1.0.1 (2020-08-27)
- 1.0.0 (2020-08-21)
- Owners
-
