Kevin Lotz
| name | Kevin Lotz |
| Crates.io: | lotzk |
| GitHub user: | lotzk |
| name | repo |
|---|
Crates
| name | update at | owner | repo | count | CI | fmt |
|---|---|---|---|---|---|---|
| smt-str | 2025-05-03 10:04:33.892558+00 | Kevin Lotz | repo | 73 | GitHub Action | fmt |
| isabelle-client | 2023-03-09 07:57:07.378657+00 | Kevin Lotz | repo | 28 | GitHub Action | fmt |