Alan Yahya's Lexifina team translated Title 26 into Lean, checked cross-references against the official XML, modeled the 2025 ...
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