User:Ema--or/Formal solution

New article name goes here new article content ...

https://en.m.wikipedia.org/w/index.php?search=Formal+solution+&ns0=1 /n *formal. Link-Goog: formal mathematics