Skip to content

Updating the ProofMode.md docs

Dan Fruminrequested 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