Skip to content

Updating the ProofMode.md docs

Dan Frumin requested to merge dfrumin/iris-coq:docs into master
  • A typo regarding the lifting of Coq propositions
  • IntoModal was renamed into FromModal at some point

Merge request reports