WolframInstitute/Rule30PrizeKit

Reference Lean environment for Rule 30 Prize submissions: the official statements, proved partial results and equivalent forms, and the verifier's checker

GitHub repository with 5 stars and 18 forks.

Language: Lean