Web interfaces for proof assistants (0)

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