View of Interactive Theorem Assistant for Learning ``A Logical Approach to Discrete Math'': Proof Theory and Assessment Experience

Return to Article Details Interactive Theorem Assistant for Learning ``A Logical Approach to Discrete Math'': Proof Theory and Assessment Experience Download Download PDF