Skip to content

GitLab

Merged
Opened by Dan Frumin@dfruminContributor

Updating the ProofMode.md docs

  • A typo regarding the lifting of Coq propositions
  • IntoModal was renamed into FromModal at some point