A full-featured front end for George with various qualify-of-life features and workflow improvements
17
stars
11
forks
source link
Added autocomplete brackets for branching in ST and cases, assume, and disprove in ND #66
Closed
williamrx05 closed 3 years ago
https://user-images.githubusercontent.com/66583944/135516428-a41a2094-1c18-432a-baef-3425df01ee49.mov
Improved typing experience