terru

About me

Developer Information
Name	terru
User since	June 21, 2026
Number of add-ons developed	1 add-on
Average rating of developer's add-ons	Not yet rated

Add-ons I've created

Isabelle markup expander

Parse Isabelle escape codes and replace them by unicode representation

Not yet rated

0 users

My Reviews

No add-on reviews yet.