2023年7月3日
double number represention
摘要： https://math.stackexchange.com/questions/1349073/how-to-find-out-the-number-of-repeating-digits-of-a-rational-number-in-decimal-f https://oeis.org/A00 阅读全文
posted @ 2023-07-03 20:05 ChrainY 阅读(11) 评论(0) 推荐(0)
What maths is already in Lean?
摘要： https://xenaproject.wordpress.com/2018/01/23/what-maths-is-already-in-lean/ 阅读全文
posted @ 2023-07-03 09:41 ChrainY 阅读(10) 评论(0) 推荐(0)