Skip to content

A simple type class based canceler for natural numbers.

Robbert Krebbers requested to merge robbert/nat_cancel into master

See also https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/109

Main question: where to put this? In numbers.v or in a separate file (as in this MR).

Merge request reports