Skip to content
GitLab
Explore
Sign in
Maxime Dénès
iris-coq
Repository
iris-coq
ProofMode.md
Find file
Blame
History
Permalink
Added note about unicode asterisk to docs
· 77695c5f
Mackie Loeffel
authored
Jan 23, 2019
77695c5f