search

vprover / vprover.github.io

Other
0 stars 5 forks source link

Fix typo #4

Closed pluehne closed 6 years ago

pluehne commented 6 years ago

I just stumbled upon this minor typo, and thought that I could fix it quickly :slightly_smiling_face:.

selig commented 6 years ago

Thanks for spotting and fixing that!