Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Small fix in IStream interface. | ppedrot | 2013-08-08 |
* | More clever implemenation for IStream. | ppedrot | 2013-05-29 |
* | Adding a persistent stream data structure. | ppedrot | 2013-05-28 |
index : coq | ||
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Small fix in IStream interface. | ppedrot | 2013-08-08 |
* | More clever implemenation for IStream. | ppedrot | 2013-05-29 |
* | Adding a persistent stream data structure. | ppedrot | 2013-05-28 |