Skip to content

More documentation about _1 and _2 lemmas.

Robbert Krebbers requested to merge robbert/docs_1_2_lemmas into master

See discussion in stdpp!531 (comment 97838)

Merge request reports