Computer Things

Subscribe
Archives
  Back to the email
Alex Chichigin
Jan. 24, 2025, morning

"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.

Reply Report
This email brought to you by Buttondown, the easiest way to start and grow your newsletter.