utensil.lean-ga
A partial formalization of Geometric Algebra in the Lean formal proof verification system. By utensil.
more
Announcing is a node declaring it will serve the repository; what is on that node's disk cannot be verified from here. The median repository is seeded by 6 nodes.
Seed count over time
The seed count fell from 12 to 8 over 90 days of recorded history (12 August to 9 November 2026), peaking at 16 on 9 September 2026 and dipping to 4 on 29 August 2026. The largest single change was +8 on 1 September 2026, across 26 recorded moves. The line moves only on a clear change; small ones do not show.
Steady at a typical 8 seeds
same as the week ending 2 November 2026
10 → 8 typical seeds
too small to count as a move · against the week ending 10 October 2026
Activity
The default branch has 444 commits, back to May 2020. The 251 from the last five years are drawn, the latest on 28 May 2024.
No signature from a Radicle key in this repository. Sign your commits with your Radicle key →
?
- Grouped
- Commits too close together to draw apart, with their count where there is room.
- Row totals
- Each row's number is its total for the dates in view.
About this repository
- Repository ID
rad:z2VwRL3XGy9dRBN64wr2BM6Ke7p7V- Delegates
- utensil
did:key:z6Mkoi6L46Tr54sMQmctod6Q43VjYyLwBh8VwJvftMZwdiHt - First seen by radicle.at
- 7 July 2026 or earlier
- Last seen
- 9 November 2026
- Classification
- Community. Published by a peer on the Radicle network. This site's own label; the repository does not declare it.
More by utensil
| Repository | Seeds | 7d |
|---|---|---|
| utensil.dockerfiles | 13 | 0 |
| utensil.slides | 10 | 0 |
| utensil.behind-programming | 9 | 0 |
| utensil.garden | 9 | 0 |
| utensil.writings-tableau | 9 | 0 |
utensil maintains 24 repositories here, including this one. See all of them · Chart these together
Seed it too
Run this in a terminal on a machine with a Radicle node (radicle.dev to install one):
rad seed rad:z2VwRL3XGy9dRBN64wr2BM6Ke7p7VSeeding replicates the repo and counts your node toward the seed count above, which can take a while to show. Tap the command to copy it.
To seed every public repository at once, run a permissive seed node, one that takes whatever the network offers. The Radicle seeder guide covers setup, and radicle-seed-prune frees disk as it fills, so there is no minimum disk to start with.