Chrome-Stats extension
pfribeiro
pfribeiro is a Chrome extension publisher. It has published 1 Chrome extension, including Matisa. Its Chrome extension has reached 29 users.
Users:
29
Rating:
5.00
(3)
Total active extensions:
1
Number of previously published extensions:
0
Active extensions
#1,
Matisa
pfribeiro
This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
29