Page MenuHomeIsabelle/Phabricator

immler (Fabian Immler)
User

Projects

User Details

User Since
Oct 28 2019, 4:02 PM (230 w, 3 d)

Recent Activity

Feb 27 2024

immler committed rAFPddf90847bfa5: enable proof in session Lorenz_C1.
enable proof in session Lorenz_C1
Feb 27 2024, 3:28 PM

May 22 2020

immler committed rAFPd798380a6ca7: no need to enforce safety of final interval enclosure.
no need to enforce safety of final interval enclosure
May 22 2020, 3:24 PM
immler committed rAFP47862306dbbd: recover from unsafe set during Picard iteration.
recover from unsafe set during Picard iteration
May 22 2020, 12:37 PM

Dec 23 2019

immler committed rAFPdf45a67089ff: remove carriage return.
remove carriage return
Dec 23 2019, 12:44 AM

Dec 19 2019

immler committed rAFP902736e5b3d5: update to isabelle 0131b7b44c32.
update to isabelle 0131b7b44c32
Dec 19 2019, 7:17 PM

Oct 28 2019

immler updated immler.
Oct 28 2019, 9:18 PM