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: Jun 15 2024 at 05:01 UTC