View of Education-oriented Proof Assistant Based on Calculational Logic: Proof Theory Algorithms and Assessment Experience

Return to Article Details Education-oriented Proof Assistant Based on Calculational Logic: Proof Theory Algorithms and Assessment Experience Download Download PDF