Web interfaces for proof assistants (Q2867935)
From MaRDI portal
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use this page instead for the normal view: Web interfaces for proof assistants
scientific article; zbMATH DE number 6241758
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Web interfaces for proof assistants |
scientific article; zbMATH DE number 6241758 |
Statements
20 December 2013
0 references
proof assistant
0 references
interface
0 references
web
0 references
Coq
0 references
asynchronous DOM modification
0 references
Web interfaces for proof assistants (English)
0 references
0.7956355214118958
0 references
0.7381571531295776
0 references
0.7297974228858948
0 references
