GitHub repository: sanchace/FRACTRAN
Primary language: Lean
Created: 2024-01-24T17:49:56Z
Description: Formalizing John H. Conway's 1986 FRACTRAN paper in Lean4