Skip to content

Bundle classes for updates, plainly and embeddings

Robbert Krebbers requested to merge robbert/bundle_bi_classes into gen_proofmode

This is essentially what I proposed here: https://gitlab.mpi-sws.org/FP/iris-coq/issues/160#note_25217

Edited by Ralf Jung

Merge request reports