finegeometer/Ideas - Change UDU7MTDRICAF5MVLPY2D5R5HQZQRTB27VLB27WPYORFAHGHZA4EAC

atari-proofs project now exists

Created by finegeometer on February 1, 2022

UDU7MTDRICAF5MVLPY2D5R5HQZQRTB27VLB27WPYORFAHGHZA4EAC

Dependencies

In channels

main

Change contents

Insertion in src/speedrunning_lower_bound.md at line 1 [3.52]

[3.52]

[3.53]

[I have started this project.](https://nest.pijul.com/finegeometer/atari-proofs)

Deletion in src/speedrunning_lower_bound.md at line 79 [3.52]
∅:D[2.2367] → [3.4868:4869]
B:BD[3.4868] → [3.4868:4869]