- Coverage
- 70%
7 out of 10 items documented0 out of 4 items with examples - Size
- Source code size: 88.2 kB This is the summed size of all the files inside the crates.io package for this release.
- Documentation size: 285.0 kB This is the summed size of all files generated by rustdoc for all configured targets
- Ø build duration
- this release: 13s Average build duration of successful builds.
- all releases: 1m 3s Average build duration of successful builds in releases after 2024-10-23.
- Links
-
lemma/lemma
63 2 3 - crates.io
- Dependencies
- Versions
-
- 0.11.3 (2026-11-15)
- 0.11.2 (2026-11-13)
- 0.11.1 (2026-11-11)
- 0.11.0 (2026-11-09)
- 0.10.2 (2026-10-15)
- 0.10.1 (2026-10-15)
- 0.10.0 (2026-10-13)
- 0.9.12 (2026-10-03)
- 0.9.11 (2026-09-22)
- 0.9.10 (2026-09-15)
- 0.9.9 (2026-09-05)
- 0.9.8 (2026-08-26)
- 0.9.7 (2026-08-23)
- 0.9.6 (2026-08-23)
- 0.9.5 (2026-08-21)
- 0.9.4 (2026-08-07)
- 0.9.3 (2026-08-05)
- 0.9.2 (2026-08-03)
- 0.9.1 (2026-08-01)
- 0.9.0 (2026-07-25)
- 0.8.22 (2026-07-09)
- 0.8.21 (2026-07-05)
- 0.8.20 (2026-06-22)
- 0.8.19 (2026-06-11)
- 0.8.18 (2026-06-10)
- 0.8.17 (2026-06-10)
- 0.8.16 (2026-06-03)
- 0.8.15 (2026-05-25)
- 0.8.14 (2026-05-21)
- 0.8.13 (2026-05-07)
- 0.8.12 (2026-04-28)
- 0.8.11 (2026-04-28)
- 0.8.10 (2026-03-31)
- 0.8.9 (2026-03-29)
- 0.8.8 (2026-03-29)
- 0.8.7 (2026-03-28)
- 0.8.6 (2026-03-27)
- 0.8.5 (2026-03-27)
- 0.8.4 (2026-03-26)
- 0.8.3 (2026-03-23)
- 0.8.2 (2026-03-13)
- 0.8.1 (2026-03-11)
- Owners
-
