| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-11-06 | better IStream.concat | ppedrot |
| 2013-08-08 | Small fix in IStream interface. | ppedrot |
| 2013-05-29 | More clever implemenation for IStream. | ppedrot |
| 2013-05-28 | Adding a persistent stream data structure. | ppedrot |
![]() |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-11-06 | better IStream.concat | ppedrot |
| 2013-08-08 | Small fix in IStream interface. | ppedrot |
| 2013-05-29 | More clever implemenation for IStream. | ppedrot |
| 2013-05-28 | Adding a persistent stream data structure. | ppedrot |