Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
David Swasey
coq-stdpp
Repository
392d08c6f5c49822072af048e245bdd41a1d7db0
Switch branch/tag
coq-stdpp
theories
base.v
Find file
Blame
History
Permalink
Add a `NoBackTrack` type class.
· 36c1ed8e
Robbert Krebbers
authored
Feb 08, 2018
`NoBackTrack P` requires `P` but will never backtrack on it once a result for `P` has been found.
36c1ed8e