Study
Opening the study…
Study
Opening the study…
What the study cites, as its author lists it: published work, and what it builds on from this ledger, such as claims, ideas, and registered plans.
Li, Shisheng (2026)
A Survey of Full Length Nonlinear Shift Register Cycle Algorithms
Fredricksen, Harold (1982)
The Lean 4 Theorem Prover and Programming Language
de Moura, Leonardo, Ullrich, Sebastian (2021)