Closed varkor closed 6 years ago
Writing Coq programs often involves using unicode characters and so it's convenient to make them directly available after pressing backslash.
Writing Coq programs often involves using unicode characters and so it's convenient to make them directly available after pressing backslash.