thys/BitCoded.thy
2019-05-10 Christian Urban updated
2019-04-11 Christian Urban updated
2019-03-16 Christian Urban updated
2019-03-13 Christian Urban updated
2019-02-23 Christian Urban adapted the Bitcoded correctness proof to using AALTs
2019-02-17 Christian Urban updated
less more (0) tip