A.A.

For the meeting of wednesday, here’s the agenda:

An introduction to Isabelle
An introduction to HOL
An introduction to Formal Verification Process

This is mostly for the benefit of Mr. T and for my own review.

I have the CSMR slides in binded form so those should be a big help.