This is an open source Lean 4 Library with proves about data structures for working with the relational calculus. The motivation of this is two-fold. First as an educational resource for learning ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback