Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. refined LLL_Cost
  2. docu
Changeset 9065:c5b78966d1f5 by rene thiemann _rene.thiemann@uibk.ac.at_:
refined LLL_Cost
The file was modified thys/LLL_Basis_Reduction/LLL.thy (diff)
The file was modified thys/LLL_Basis_Reduction/LLL_Complexity.thy (diff)
Changeset 9064:a57e81cb11da by rene thiemann _rene.thiemann@uibk.ac.at_:
docu
The file was modified thys/LLL_Basis_Reduction/LLL_Complexity.thy (diff)
The file was modified thys/LLL_Basis_Reduction/ROOT (diff)