Equality in Mechanized Mathematics An inquiry into the Foundations of Mathematics Lean versus Coq: The cultural chasm reMarkable: the perfect tablet for academics