Page MenuHomeIsabelle/Phabricator

traytel (Dmitriy Traytel)
User

Projects

User Details

User Since
Sep 26 2019, 6:21 AM (16 w, 2 d)

Recent Activity

Tue, Jan 7

traytel committed rISABELLE15c6f253b9f3: merged.
merged
Tue, Jan 7, 5:13 PM
traytel committed rISABELLEc71a44893645: eliminated one redundant proof obligation in lift_bnf for quotients.
eliminated one redundant proof obligation in lift_bnf for quotients
Tue, Jan 7, 5:13 PM

Dec 18 2019

traytel committed rAFP0b9412db8759: made LFP operation more faithful to the implementation.
made LFP operation more faithful to the implementation
Dec 18 2019, 9:01 AM