LJ calculus with stoup: A pedagogical approach


We prove a theorem in calculus LJ and in LJT (LJ with stoup) as well. We show that while there are many proofs to one single theorem in LJ, there is exactly one proof in LJT.


Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 4, Article 268, 2022 [KN]