collatz/Collatz/Strategy/FirstLight1024Chunks at main · Chessing234/collatz · GitHub

Repository navigation

Name		Name	Last commit message	Last commit date
parent directory ..
C00.lean		C00.lean
C01.lean		C01.lean
C02.lean		C02.lean
C03.lean		C03.lean
C04.lean		C04.lean
C05.lean		C05.lean
C06.lean		C06.lean
C07.lean		C07.lean
C08.lean		C08.lean
C09.lean		C09.lean
C10.lean		C10.lean
C11.lean		C11.lean
C12.lean		C12.lean
C13.lean		C13.lean
C14.lean		C14.lean
C15.lean		C15.lean
C16.lean		C16.lean
C17.lean		C17.lean
C18.lean		C18.lean
C19.lean		C19.lean
C20.lean		C20.lean
C21.lean		C21.lean
C22.lean		C22.lean
C23.lean		C23.lean
C24.lean		C24.lean
C25.lean		C25.lean
C26.lean		C26.lean
C27.lean		C27.lean
C28.lean		C28.lean
C29.lean		C29.lean
C30.lean		C30.lean
C31.lean		C31.lean
C32.lean		C32.lean
C33.lean		C33.lean
C34.lean		C34.lean
C35.lean		C35.lean
C36.lean		C36.lean
C37.lean		C37.lean
C38.lean		C38.lean
C39.lean		C39.lean
C40.lean		C40.lean
C41.lean		C41.lean
C42.lean		C42.lean
C43.lean		C43.lean
C44.lean		C44.lean
C45.lean		C45.lean
C46.lean		C46.lean
C47.lean		C47.lean
C48.lean		C48.lean