While writing a paper leaning towards mathematics, I formalized a part of it using a tool called Lean. In this article, I ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible resultsSome results have been hidden because they may be inaccessible to you
Show inaccessible results