Hoare initial commit
Merge branch 'master' into Hoare
Hoare assignment rule
Consequence
eapply
WIP; sequencing
Sequencing
Conditionals
One-sided conditionals
Loops
Removed trailing white spaces
Repeat exercise
himp_hoare
Remove trailing white space
Module closed