HOL-Isar_Examples

Structured_Statements

Basic_Logic

Expr_Compiler

Fibonacci

Group

Group_Context

Group_Notepad

Hoare

Hoare_Ex

Mutilated_Checkerboard

Puzzle

Summation