An introduction to small scale reflection in Coq (Q3075246)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5850142
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An introduction to small scale reflection in Coq |
scientific article; zbMATH DE number 5850142 |
Statements
10 February 2011
0 references
Coq proof assistant
0 references
SSReflect package
0 references
formalization of finite objects
0 references
intuitionistic type theory.
0 references
0.7609072327613831
0 references
0.7392471432685852
0 references
0.7335325479507446
0 references
0.7155452370643616
0 references
0.7138723731040955
0 references
