"Rosetta Code for specifications"? I thought it reminded me of something...
Yep, sure, the https://www.cs.ru.nl/~freek/100/ ! 😁
Yes, I know it's a very different thing, it has nothing to do with programming for the starter. Still, if someone wants to get a gist of different Interactive Theorem Provers, the list provides a number of reference points.
"Rosetta Code for specifications"? I thought it reminded me of something...
Yep, sure, the https://www.cs.ru.nl/~freek/100/ ! 😁
Yes, I know it's a very different thing, it has nothing to do with programming for the starter. Still, if someone wants to get a gist of different Interactive Theorem Provers, the list provides a number of reference points.