Changes between Version 138 and Version 139 of WikiStart


Ignore:
Timestamp:
05/13/23 12:47:34 (3 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v138 v139  
    2323* [https://link.springer.com/chapter/10.1007/978-3-319-99725-4_14 Verifying Properties of Differentiable Programs]
    2424
    25 == CIVL Manual ==
     25== Documentation ==
    2626* [wiki:"CIVL Manual: Introduction"]
    2727* [wiki:"CIVL Manual: Language Reference"] (coming soon)