Web Interfaces for Proof Assistants
Work
Year: 2007
Type: article
Abstract: This article describes an architecture for creating responsive web interfaces for proof assistants. The architecture combines current web development technologies with the functionality of local prove... more
Author Cezary Kaliszyk
Institution Radboud University Nijmegen
Cites: 16
Cited by: 35
Related to: 10
FWCI: 2.54
Citation percentile (by year/subfield): 93.29
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Industry, innovation and infrastructure
Open Access status: gold