Blogpost, on proving lists infinite in #Coq
https://blog.poisson.chat/posts/2021-10-26-proving-lists-infinite.html
Mamot.fr est un serveur Mastodon francophone, géré par La Quadrature du Net.