∑ XahLeewhen mathematician's text book or article mention “formal”, as in, “we give a formal proof in appendix A”, it's all hogwash. The only acceptable “formal” today, is via symbolic proof system, e.g. computer code.
Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.
All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.