Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned proofs
Changeset 8429:70d9faada9d0 by haftmann:
tuned proofs
The file was modified thys/Berlekamp_Zassenhaus/Finite_Field.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Hensel_Lifting_Type_Based.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Square_Free_Factorization_Int.thy (diff)
The file was modified thys/Deep_Learning/Tensor_Unit_Vec.thy (diff)
The file was modified thys/Echelon_Form/Code_Cayley_Hamilton.thy (diff)
The file was modified thys/Fermat3_4/Fermat3.thy (diff)
The file was modified thys/Fermat3_4/Fermat4.thy (diff)
The file was modified thys/Fermat3_4/Quad_Form.thy (diff)
The file was modified thys/IP_Addresses/CIDR_Split.thy (diff)
The file was modified thys/JinjaThreads/J/Progress.thy (diff)
The file was modified thys/Knot_Theory/Example.thy (diff)
The file was modified thys/Knot_Theory/Kauffman_Matrix.thy (diff)
The file was modified thys/Lehmer/Lehmer.thy (diff)
The file was modified thys/List-Infinite/CommonSet/SetInterval2.thy (diff)
The file was modified thys/Native_Word/Word_Misc.thy (diff)
The file was modified thys/Nested_Multisets_Ordinals/McCarthy_91.thy (diff)
The file was modified thys/Rank_Nullity_Theorem/Mod_Type.thy (diff)
The file was modified thys/Sqrt_Babylonian/NthRoot_Impl.thy (diff)
The file was modified thys/Stern_Brocot/Stern_Brocot_Tree.thy (diff)
The file was modified thys/SumSquares/FourSquares.thy (diff)
The file was modified thys/SumSquares/TwoSquares.thy (diff)