Web interfaces for proof assistants (0)

by Cezary Kaliszyk
Venue:Electr. Notes Theor. Comput. Sci