Page MenuHomeIsabelle/Phabricator

peter_lammich (Peter Lammich)
User

Projects

User Details

User Since
Jan 12 2020, 7:31 PM (176 w, 4 d)

Recent Activity

Mar 21 2022

peter_lammich committed rAFP897433ae51a4: Fixed wrong sign handling in fmul-add.
Fixed wrong sign handling in fmul-add
Mar 21 2022, 3:13 PM

Dec 17 2020

peter_lammich committed rISABELLE8b92a2ab5370: tuned running time functions.
tuned running time functions
Dec 17 2020, 2:53 PM
peter_lammich committed rISABELLEb945880827ff: merged.
merged
Dec 17 2020, 2:53 PM

Dec 16 2020

peter_lammich committed rISABELLE686c7ee213e9: merged.
merged
Dec 16 2020, 6:48 PM
peter_lammich committed rISABELLE1dc01c11aa86: simplified complexity proofs. Increased precision of T_del_min_bound. (though….
simplified complexity proofs. Increased precision of T_del_min_bound. (though…
Dec 16 2020, 6:48 PM
peter_lammich committed rISABELLEaa86651805e0: added missing +1 to T_insert (for function call).
added missing +1 to T_insert (for function call)
Dec 16 2020, 6:48 PM

Dec 15 2020

peter_lammich committed rISABELLEd02f91543bf1: merged.
merged
Dec 15 2020, 6:23 PM
peter_lammich committed rISABELLEc145be662fbd: removed redundant T_xxx_bound_aux lemmas.
removed redundant T_xxx_bound_aux lemmas
Dec 15 2020, 6:23 PM

Dec 4 2020

peter_lammich committed rISABELLEb09f358f3eb0: merged.
merged
Dec 4 2020, 6:55 PM
peter_lammich committed rISABELLEcaf2fd14e28b: removed session name.
removed session name
Dec 4 2020, 6:55 PM
peter_lammich committed rISABELLE64d8a7e6d8fa: merged.
merged
Dec 4 2020, 6:21 PM
peter_lammich committed rISABELLEba65dc3e35af: summarized structural and ordering invariant for trees.
summarized structural and ordering invariant for trees
Dec 4 2020, 6:21 PM

Nov 26 2020

peter_lammich committed rISABELLE35d1fc20df22: renaming.
renaming
Nov 26 2020, 4:53 PM