Stream: Coq users

Topic: Have one dimensional list

view this post on Zulip zohaze (Mar 21 2022 at 18:08):

I have two dimensional list. First list have index value while second is a natural number list. I want to convert it into one dimensional list, mean original natural number list without index. How I can do it in Coq ?

Last updated: Jan 28 2023 at 08:02 UTC