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