Skip to content

Clean up `nat.v`

Sergey Bozhko requested to merge sbozhko/rt-proofs:clean_up_util into master

[#31 (closed)] Cleaned up util/nat.v. Note that many files have changed; however, this is due to the fact that some of the lemmas in nat.v have been renamed or removed.

Merge request reports