The Isabelle collections framework (Q5747660)
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: The Isabelle collections framework |
scientific article; zbMATH DE number 5785352
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The Isabelle collections framework |
scientific article; zbMATH DE number 5785352 |
Statements
The Isabelle Collections Framework (English)
0 references
14 September 2010
0 references
0.811425507068634
0 references
0.7854927182197571
0 references
0.7655835151672363
0 references
0.761673092842102
0 references
0.7598239779472351
0 references
