search

achlipala / frap

Formal Reasoning About Programs
Other
657 stars 82 forks source link

explain hoare_triple_big_step_while #40

Closed samuelgruetter closed 4 years ago