thys/PDerivs.thy
2020-10-24 Christian Urban updated
2019-07-23 Christian Urban proved cubic size bound for partial derivatives
2019-02-23 Christian Urban adapted the Bitcoded correctness proof to using AALTs
2019-02-20 Christian Urban added size bounds for partial derivatives
2019-02-17 Christian Urban updated
2019-02-11 Christian Urban added cardinality proof of Antimirov
2019-02-11 Christian Urban added partial derivative proof from Antimirov
less more (0) tip