A proof-centric approach to mathematical assistants (0)

by L Dixon, J D Fleuriot
Venue:Journal of Applied Logic: Towards Computer Aided Mathematics Systems