This is an implementation of the scalar evolution theory in Coq. In particular, it implements the math behind the "chains of recurrences" paper.
v1.0first release
This is an implementation of the scalar evolution theory in Coq. In particular, it implements the math behind the "chains of recurrences" paper.
v1.0 first release