Within each content area, there are one or more tutorials. Each tutorial consists of lessons. Each lesson should be a page detailing the concept being taught, along with sample code. Lesson and page ...

The Squirrel Prover is a proof assistant dedicated to the verification of cryptographic protocols. It relies on a higher-order probabilistic logic following the computationnally complete symbolic ...