Proof Assistant Based on Didactic Considerations

Jorge Pais, Alvaro Tasistro. Proof Assistant Based on Didactic Considerations. J. UCS, 19(11):1570-1596, 2013. [doi]

Abstract

Abstract is missing.