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 ...
MR. ATHERTON'S book is for engineering students whose mathematical knowledge does not include the calculus, and such readers will find it a very useful source of information. An Introduction to the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback