LubySequence. Lean 4 formalization of the Luby sequence, offering recursive, tree, and state-machine characterizations, proofs and lemmas.

github.com/shnarazk/LubySequence
by @shnarazk

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.