Page MenuHomeIsabelle/Phabricator

florian.haftmann (Florian Haftmann)
User

Projects

User Details

User Since
Nov 30 2019, 9:26 AM (12 w, 4 d)

Recent Activity

Thu, Feb 13

florian.haftmann committed rISABELLEff6394cfc05c: canonical approach towards lifting.
canonical approach towards lifting
Thu, Feb 13, 8:42 AM
florian.haftmann committed rISABELLEd45495e897f4: more instances.
more instances
Thu, Feb 13, 8:42 AM
florian.haftmann committed rISABELLE4e66867fd63f: tuned proof.
tuned proof
Thu, Feb 13, 8:42 AM

Mon, Feb 10

florian.haftmann committed rISABELLE745e518d3d0b: easy abstraction over pointwise bit operations.
easy abstraction over pointwise bit operations
Mon, Feb 10, 8:20 AM
florian.haftmann committed rISABELLEf2da99316b86: more rules for natural deduction from inequalities.
more rules for natural deduction from inequalities
Mon, Feb 10, 8:20 AM

Sun, Feb 9

florian.haftmann committed rISABELLEe83fe2c31088: rule concerning bit (push_bit ...).
rule concerning bit (push_bit ...)
Sun, Feb 9, 2:42 PM
florian.haftmann committed rISABELLE7ae4dcf332ae: more lemmas.
more lemmas
Sun, Feb 9, 2:42 PM

Wed, Feb 5

florian.haftmann committed rISABELLE572ab9e64e18: simplified logical constructions.
simplified logical constructions
Wed, Feb 5, 11:18 PM
florian.haftmann committed rISABELLE1d8e914e04d6: simplified logical constructions.
simplified logical constructions
Wed, Feb 5, 11:18 PM

Tue, Feb 4

florian.haftmann committed rISABELLEbd9d27ccb3a3: more theorems.
more theorems
Tue, Feb 4, 7:08 PM

Sun, Feb 2

florian.haftmann committed rISABELLE65ffe9e910d4: more specific class assumptions.
more specific class assumptions
Sun, Feb 2, 11:27 AM
florian.haftmann committed rISABELLE96d126844adc: more theorems.
more theorems
Sun, Feb 2, 11:27 AM

Tue, Jan 28

florian.haftmann committed rISABELLE0bb0cb558bf9: sketches of ideas still to come.
sketches of ideas still to come
Tue, Jan 28, 8:04 AM
florian.haftmann committed rISABELLE554385d4cf59: more theorems.
more theorems
Tue, Jan 28, 8:04 AM
florian.haftmann committed rISABELLE2525e28e4b8b: generalized.
generalized
Tue, Jan 28, 8:04 AM
florian.haftmann committed rISABELLE3887432720a9: tuned.
tuned
Tue, Jan 28, 8:04 AM

Jan 23 2020

florian.haftmann committed rISABELLE43c2355648d2: tuned.
tuned
Jan 23 2020, 8:40 AM
florian.haftmann committed rISABELLEfb9edfe035e1: tuned.
tuned
Jan 23 2020, 8:40 AM
florian.haftmann committed rISABELLEa3ae93ed7b1b: dropped dead code.
dropped dead code
Jan 23 2020, 8:40 AM