Question Title

* 1. On the subject wikis (such as Groupprops and Topospaces) we are experimenting with tabular proof formats. Learn more about tabular proof formats here. The complete list of pages in Groupprops using this proof format is here and the complete list of pages in Topospaces using this format is here. What do you think about the ease of understanding of tabular proof formats?

The next two pages have more questions on tabular proof formats. Please proceed if you are interested. In either case, your feedback so far is appreciated.