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…

Nowadays, SPOCs (Small Private Online Courses) have been used as complementary methods to support classroom teaching. SPOCs are courses that apply the usage of MOOCs (Massive Open Online Courses), combining classroom with online education, making them an exciting alternative for contexts such as emergency remote teaching. Although SPOCs have been…

Calculating analytical uncertainties as a part of method validation is a relevant aspect of field and laboratory practices in instrumental analytical chemistry subjects, which usually require complex algorithms. This work describes the development and didactic use of an automatic and straightforward informatics tool, implemented in an Excel macro,…

This research aims to design immersive virtual reality with cognitive conflict to support practical learning of quantum physics. This type of research is design research through the stages of needs analysis, product design, validity test, and practicality test. The needs analysis used questionnaire sheets distributed with Google Forms and obtained…

The paper argues that there is a need for new approaches to teaching proof with newly-available technology. It contributes to filling this need by opening a discussion on digital proof assistants, programs that allow one to do mathematics with the aid of a computer, construct proofs, and check their correctness. The paper starts by exploring such…

This study aimed to develop a valid and reliable scale to measure individuals' and organizations' attitudes toward the use of ChatGPT, emphasizing the necessity for organizations to adapt to rapidly evolving information and technology environments. The methodology consisted of three stages. In the first stage, a 13-item draft scale was…

Software security is inevitably dependent on developers' ability to to design and implement software without security bugs. Perhaps unsurprisingly, developers often fail to do this. Our goal is to understand this from a usability perspective, identifying how we might best train developers and equip them with the right software tools. To this end,…

As technology advances, AI, like ChatGPT, has become a pivotal tool in improving educational practices, particularly in special education (SE). These tools support the fourth Sustainable Development Goal (SDG), which concerns quality education for all, and the tenth SDG addresses reducing disparities. The purpose of this study is to explore the…

Access to body-based resources has been shown to augment cognitive processes, but not all movements equally aid reasoning. Interactive technologies, like dynamic geometry systems (DGS), potentially amplify the link between movement and geometric representation, thereby deepening students' understanding of geometric properties. This study…

One of the important components in second language (L2) development is to produce clause-level units of form-meaning pairings or argument structure constructions. Based on the usage-based constructionist approach that language development entails an ability to use more diverse, more complex, and less frequent constructions, this study tested…

The objectives of this research were to (1) develop virtual commerce using the design thinking process to promote modern entrepreneurship, (2) carry out a suitability assessment of this process, and (3) evaluate digital entrepreneurship competency (DEC). The research process was therefore divided into 3 phases in accordance with these aims. The…

Introduction: This study examined the concurrent validity and inter-pair reliability of the proximity detection function on Bluetooth-enabled accelerometers across manufacturer-specified ranges. If valid, this method could be used for objectively measuring shared physical activity participation. Method: Thirty-six dyads aged 21.6 (2.1) years wore…

Educational technology is shifting toward facilitating personalized learning. Such personalization, however, requires a detailed understanding of students' problem-solving processes. Sequence analysis (SA) is a promising approach to gaining granular insights into student problem solving; however, existing techniques are difficult to interpret…

The low achievement of chemistry students in Nigerian Colleges of Education has been attributed to a number of factors including a lack of indigenous computer software for enhancing course teaching. This study therefore sought to develop and validate an instructional computer package on organic chemistry for Colleges of Education in Nigeria. The…

Three-experiments examined the number of qualitatively different processing dimensions needed to account for inductive and deductive reasoning. In each study, participants were presented with arguments that varied in logical validity and consistency with background knowledge (believability), and evaluated them according to deductive criteria…