As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…

In Spring 2020, the need for redesigning online assessments to preserve integrity became a priority to many educators. Many of us found methods to proctor examinations using Zoom and proctoring software. Such examinations pose their own issues. To reduce the technical difficulties and cost, many Zoom proctored examination sessions were shortened;…

Physics, even though it is guided by simple principles, tends for many topics to be obscured in the mathematics redundancy. MATLAB®, as interactive software for computer algebra, has already had an important impact on the way physics is taught by educators. It has also had a substantial impact on the way research is performed by students to…