Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added a [modify] function to maps. | 2013-10-06 | |
* | Removing association lists in Reductionops. Btw, defining the dual of the | 2013-08-25 | |
* | Added a more efficient way to recover the domain of a map. | 2013-08-25 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added a [modify] function to maps. | 2013-10-06 | |
* | Removing association lists in Reductionops. Btw, defining the dual of the | 2013-08-25 | |
* | Added a more efficient way to recover the domain of a map. | 2013-08-25 |