Major examples from thesis:

• Leighton Hay's probably-wrongful murder conviction - in pdf only
• Rodriguez v. The Attorney General of Canada and the Attorney General of British Columbia, formally verified
• Argument for physician assisted suicide in Canada, partially formally verified
• The Berkeley admissions gender bias case (Simpson's Paradox) - in pdf only
• Arguing that smoking causes cancer from data available in 1950 - in pdf only

Toy example from thesis: Douglas Walton's falacious "Nobody should get married" argument, formally verified

Work continues here