exps/both.scala
2019-07-29 Christian Urban updated
2019-04-11 Christian Urban updated
2019-03-13 Christian Urban updated
2019-02-20 Christian Urban added size bounds for partial derivatives
2019-02-17 Christian Urban updated
2019-02-10 Christian Urban updated to Isabelle 2018
2019-02-08 Christian Urban added partial derivatives to compare sizes
2019-02-07 Christian Urban updated
2019-02-04 Christian Urban updated
2019-02-01 Christian Urban added some timing and size tests when doing the derivatives
2019-01-31 Christian Urban updated
less more (0) tip