This is a small collection of some definitions around basic data structures, e.g. Sets in Lean. It also contains additional theorems on datastructures from the standard library, e.g. Lists. The ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback