Providing temporary use of on-line non-downloadable software and software as a service (SAAS) services featuring software for constructing, editing, storing, and management of databases by human and artificial agents to manage written proofs, namely, formal and informal proofs that include a sequence of reasoning, written arguments, namely, facts and statements used to support a proposition, and computer programs