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…

Purpose: We developed the Goal Achievement Scale in Colleges of Education (GASCE) to address the lack of context-specific assessment tools for evaluating goal achievement in Nigerian colleges of education. Existing instruments fail to capture the unique challenges of these institutions, making a reliable and valid scale essential for assessing…

The rapid advancement of educational technologies worldwide and the ubiquitousness of technology-integrated teaching and learning have posed great challenges to teachers. Technology leadership is an emerging focus among educators, it involves using technologies to lead learners' knowledge, abilities, and values development. However, there are few…

We present an investigation of the infinite sequences of numbers formed by calculating the pairwise averages of three given numbers. The problem has an interesting geometric interpretation related to the sequence of triangles with equal perimeters which tend to an equilateral triangle. Investigative activities of the problem are carried out in…

The author provides a checklist for educators who are selecting technically adequate tests for identifying and referring students for gifted education services and programs. The checklist includes questions related to how the test was normed, reliability and validity studies as well as questions related to types of scores, administration, and…

High-quality assessments are crucial to many aspects of the educational process. They can help policymakers monitor long-term educational trends, assist state educational agencies (SEAs) and local educational agencies (LEAs) in allocating resources and professional development opportunities, provide insights to teachers about how well students…

The Indiana Department of Education's (IDOE's) Accessibility and Accommodations Information for Statewide Assessments is a document intended for school-level personnel and decision-making teams as they prepare for and implement Indiana statewide assessments. Information is provided for school personnel as a reference to inform guidance on…

While noncompliance is a concerning challenging behavior and commonly reported by educators, its measurement is likely to be invalid and inaccurate given the subjectivity of the operational definition. Engagement is offered as a more valid, accurate measurement that may provide data regarding the amount of instruction accessed by the student. In…

The textbook used for fifth grade elementary students in an elementary school in Kuningan, West Java claims to offer Higher Order Thinking Skill (HOTS) questions on the cover of the textbook and some questions have been labeled as HOTS questions. This research investigated the validity of this claim, analyzing the levels of cognitive domain of…

The New York State Education Department (NYSED) has a partnership with NWEA for the development of the 2024 Grades 3-8 English Language Arts Tests. Teachers from across the State work with NYSED in a variety of activities to ensure the validity and reliability of the New York State Testing Program (NYSTP). The 2024 Grades 6 and 7 English Language…