search

coq-community / vsc-conceal

Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
MIT License
51 stars 6 forks source link

Update readme #25

Closed rtetley closed 1 year ago

rtetley commented 1 year ago

Closes #23