{"id":"arxiv/2603.20893","url":"https://arxiv.org/abs/2603.20893","tags":["math.LO","cs.LO"],"score":0,"title":"An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility","domain":"math.LO","source":"arxiv","authors":["William M. Farmer"],"reviews":0,"subject":"math.LO","summary":"Formal mathematics is mathematics done within the framework of a formal logic. It offers major benefits to mathematicians as well as to computing professionals, engineers, and scientists who use mathematics in their work. The standard approach to formal mathematics, in which mathematics is done with the help of a proof assistant and all details are formally proved and mechanically checked, achieves these benefits and offers a very high level of assurance that the results produced are correct. However, since the main goal of the standard approach is certification, the proof assistants…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-21","reactions":{}}