Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations

TL;DR

Hazel Deriver is an interactive, web-based tool that helps students construct rule-based derivation trees more easily by providing real-time feedback and layered support, enhancing understanding and engagement.

Contribution

It introduces a novel live editor that scaffolds derivation construction with multiple support layers, improving student experience in formal logic and programming courses.

Findings

Reduces perceived difficulty of derivation tasks

Improves conceptual understanding

Increases student engagement

Abstract

Students in programming languages and formal logic courses often struggle with constructing rule-based derivation trees due to the complexity of applying inference rules, the lack of immediate feedback, and the manual effort required for handwritten proofs. We present Hazel Deriver, a live, web-based editor designed to scaffold derivation construction through multiple layers of support. Built on the Hazel live programming environment, it provides a structured, interactive experience that encourages iterative exploration and real-time feedback. A preliminary user study with former students suggests that Hazel Deriver reduces the perceived difficulty of derivation tasks while improving conceptual understanding and engagement. We discuss the design of its layered scaffolding features and raise questions about balancing system guidance with learner autonomy.