Guabao Coding and Proving Hand in Hand

Contacts

Guabao is implemented and maintained by Shin-Cheng Mu, Ting-Yan Lai, Thing-Han Lim, Chien-Yuan Su (Institute of Information Science, Academia Sinica, Taiwan), and Hsien-En Tzeng (National Taiwan University).

Guabao is still under development — everything may change or break tomorrow! We welcome bug reports, feature requests, and other suggestions. Feel free to submit them as issues through the GitHub repositories (frontend|backend), or contact the authors by email at scm [AT] iis.sinica.edu.tw.