Proving natural numbers are infinity in Coq 🧙🏼
Introduction   An interesting fact about math is that you can demonstrate things. A lot of...
Tags: coq, math, computerscience