3 ms·
Don't you want https://coq.inria.fr/library/Coq.Lists.Streams.html https://coq.inria.fr/library/Coq.Lists.Streams.html ?
by CHY872 11y ago
Don't you want https://coq.inria.fr/library/Coq.Lists.Streams.html https://coq.inria.fr/library/Coq.Lists.Streams.html ?