Dataset - CKAN

The CtCoq System: Design and Architecture

We present issues that arose in the design of the CtCoq user-interface for proof development. Covered issues include multi-processing, data display, mouse interaction,...
- HTML

You can also access this registry using the API (see API Docs).