Stream: Coq users

Topic: How adjust fraction/decimal point points

view this post on Zulip zohaze (Sep 16 2021 at 18:20):

I am dealing with natural number list . But I am facing the situation where I have to add sum decimal points then keep the result of addition in the list. Please guide me to do this in Coq.

Last updated: Oct 04 2023 at 23:01 UTC