Article URL: https://zenodo.org/records/23918639/files/RoundSquare.lean

Comments URL: https://news.ycombinator.com/item?id=50371383

Points: 1

# Comments: 0