NFM22 examples#901

Merged

bors[bot] merged 12 commits intoviperproject:masterfrom

Aurel300:nfm22-examples

May 27, 2022

Commits on Mar 13, 2022

NFM22 examples initial
Aurel300
committed

Commits on Mar 18, 2022

Reorganise and update BST examples
JonasAlaif
committed

Commits on May 22, 2022

Commits on May 27, 2022

enable type invariants for test
Aurel300
committed