Article URL: https://zenodo.org/records/23918639/files/RoundSquare.lean
Comments URL: https://news.ycombinator.com/item?id=50371383
Points: 1
# Comments: 0
Article URL: https://zenodo.org/records/23918639/files/RoundSquare.lean
Comments URL: https://news.ycombinator.com/item?id=50371383
Points: 1
# Comments: 0


