Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
Iris
Merge requests
!53
Merged
Created
Mar 16, 2017
by
Dan Frumin
@dfrumin
Contributor
Options
Updating the ProofMode.md docs
Overview
3
Commits
2
Changes
1
A typo regarding the lifting of Coq propositions
IntoModal was renamed into FromModal at some point