H1z3-br0/van-de-voorde-conjecture
Formalization and investigation of the van der Voorde conjecture.
GitHub repository with 10 stars and 0 forks.
Language: Lean
Topics: bsw, cryptography, lean4, math, python
24h trend summary
Trending score 0.39, freshness score 0.36, stars gained +0, forks gained +0.
Latest metric snapshot
2026-11-03: 10 stars and 0 forks.