1 paper
Zhiyao Zhong, Cyrus Omar
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…