Robuta

https://toccata.gitlabpages.inria.fr/toccata/gallery/sf.en.html Program verification examples from the book "Software Foundations" examples from the book program verification software foundations https://rdrr.io/cran/mistat/man/PRED.html PRED: Soldering Points in mistat: Data Sets, Functions and Examples from the Book: "Modern... examples from the book