Page MenuHomeIsabelle/Phabricator

pruvisto (Manuel Eberl)
User

Projects

User Details

User Since
Nov 19 2019, 1:16 PM (8 w, 6 d)

Recent Activity

Fri, Jan 17

pruvisto committed rISABELLEa3f7f00b4fd8: Removed unnecessary and problematic trivial lemma from HOL-Algebra.
Removed unnecessary and problematic trivial lemma from HOL-Algebra
Fri, Jan 17, 10:26 PM

Thu, Jan 2

pruvisto committed rAFP3c6cf3b9146b: More material for Zeta_Function: Hadjicostas's formula.
More material for Zeta_Function: Hadjicostas's formula
Thu, Jan 2, 7:16 PM

Dec 20 2019

pruvisto committed rAFP88a82d6fdd30: Corrected name.
Corrected name
Dec 20 2019, 3:33 PM

Dec 3 2019

pruvisto committed rISABELLE6f8422385878: Removed orphaned theory from HOL-Analysis.
Removed orphaned theory from HOL-Analysis
Dec 3 2019, 5:15 PM
pruvisto committed rISABELLE6617fb368a06: Reorganised HOL-Complex_Analysis.
Reorganised HOL-Complex_Analysis
Dec 3 2019, 12:43 PM

Dec 2 2019

pruvisto committed rISABELLE777d673fa672: Removed duplicate theorems from HOL-Analysis.
Removed duplicate theorems from HOL-Analysis
Dec 2 2019, 4:17 PM
pruvisto committed rISABELLEa8ccea88b725: Flattened dependency tree of HOL-Analysis.
Flattened dependency tree of HOL-Analysis
Dec 2 2019, 4:17 PM
pruvisto committed rISABELLE6695aeae8ec9: Merged.
Merged
Dec 2 2019, 11:13 AM
pruvisto committed rISABELLE8b8f9d3b3fac: Simplified Harmonic_Numbers.
Simplified Harmonic_Numbers
Dec 2 2019, 11:13 AM
pruvisto committed rISABELLE954ee5acaae0: Split off new HOL-Complex_Analysis session from HOL-Analysis.
Split off new HOL-Complex_Analysis session from HOL-Analysis
Dec 2 2019, 11:13 AM
pruvisto committed rAFPe30fe5fba4d7: Merged.
Merged
Dec 2 2019, 11:12 AM
pruvisto committed rAFP4f482d20a008: adapted to isabelle-dev 954ee5acaae0.
adapted to isabelle-dev 954ee5acaae0
Dec 2 2019, 11:12 AM