kebekus
/
nevanlinna
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 12d81cb0a9 Update divisor.lean main Stefan Kebekus 2024-09-17 10:43:46 +0200
  • 12f0543f47 Working… Stefan Kebekus 2024-09-14 08:38:04 +0200
  • 6610fd49b0 working… feature/analyticOn Stefan Kebekus 2024-09-13 09:21:57 +0200
  • dba4e2d9c4 Rename file Stefan Kebekus 2024-09-13 07:42:57 +0200
  • fe0d8a5f5e Delete holomorphic_JensenFormula.lean Stefan Kebekus 2024-09-13 07:42:07 +0200
  • 712be956d0 Jensen's formula is done! Stefan Kebekus 2024-09-12 08:56:01 +0200
  • 5a984253c6 Update holomorphic_JensenFormula2.lean Stefan Kebekus 2024-09-12 07:52:26 +0200
  • 42c1c14edf Delete diffOpGrothendieck.lean Stefan Kebekus 2024-09-12 07:13:35 +0200
  • b988031047 Update analyticAt.lean Stefan Kebekus 2024-09-12 07:12:03 +0200
  • dbea68061b Update analyticAt.lean Stefan Kebekus 2024-09-12 07:04:00 +0200
  • f83f772506 Update analyticAt.lean Stefan Kebekus 2024-09-12 06:58:43 +0200
  • dbeb631178 Update analyticAt.lean Stefan Kebekus 2024-09-11 16:57:16 +0200
  • 1e8c5bad0f working Stefan Kebekus 2024-09-11 15:48:43 +0200
  • b91e3677c0 Update holomorphic_JensenFormula2.lean Stefan Kebekus 2024-09-11 11:09:03 +0200
  • 47e1bfe35e working Stefan Kebekus 2024-09-11 11:06:45 +0200
  • 6651c0852a Working… Stefan Kebekus 2024-09-11 10:24:45 +0200
  • 3bead7a9bf Update holomorphic_JensenFormula2.lean Stefan Kebekus 2024-09-11 09:07:49 +0200
  • e901f241cc Working… Stefan Kebekus 2024-09-10 16:50:29 +0200
  • 745e614016 Working… Stefan Kebekus 2024-09-10 15:29:30 +0200
  • 8e5ada9a01 working… Stefan Kebekus 2024-09-10 14:43:28 +0200
  • ef7e1df191 Working… Stefan Kebekus 2024-09-10 14:21:08 +0200
  • fa2e431f4c Update analyticOn_zeroSet.lean Stefan Kebekus 2024-09-10 12:53:34 +0200
  • f732c82f92 Update analyticOn_zeroSet.lean Stefan Kebekus 2024-09-10 11:30:27 +0200
  • cd58c18a78 Update analyticOn_zeroSet.lean Stefan Kebekus 2024-09-10 11:21:49 +0200
  • 5dc437751b Update analyticOn_zeroSet.lean Stefan Kebekus 2024-09-10 11:06:00 +0200
  • aa79fdb9eb Update analyticOn_zeroSet.lean Stefan Kebekus 2024-09-10 10:55:53 +0200
  • e41a08f1d5 Create analyticAt.lean Stefan Kebekus 2024-09-10 10:45:53 +0200
  • 111fcea7af Update holomorphic_JensenFormula2.lean Stefan Kebekus 2024-09-09 13:17:12 +0200
  • e3853f1632 Update Mathlib Stefan Kebekus 2024-09-09 12:45:07 +0200
  • 1ccc9679e5 Update lean Stefan Kebekus 2024-09-09 06:50:28 +0200
  • 2ec1335521 Update Mathlib Stefan Kebekus 2024-08-23 09:26:58 +0200
  • 42a6c439a9 Update holomorphic_JensenFormula2.lean Stefan Kebekus 2024-08-22 14:52:52 +0200
  • b818aa5c13 working… Stefan Kebekus 2024-08-22 14:21:14 +0200
  • 371b90c1c6 working… Stefan Kebekus 2024-08-22 13:09:03 +0200
  • db9ce54bcf Update specialFunctions_CircleIntegral_affine.lean Stefan Kebekus 2024-08-22 08:47:20 +0200
  • 77dea4115e working Stefan Kebekus 2024-08-22 08:19:01 +0200
  • 567b08aa5b working… Stefan Kebekus 2024-08-21 17:04:45 +0200
  • 960af65b57 Update holomorphic_JensenFormula.lean Stefan Kebekus 2024-08-21 10:12:36 +0200
  • 1160beac5e Update analyticOn_zeroSet.lean Stefan Kebekus 2024-08-20 17:45:42 +0200
  • 6d0870d533 Update analyticOn_zeroSet.lean Stefan Kebekus 2024-08-20 17:27:42 +0200
  • 867b88bf5a Update analyticOn_zeroSet.lean Stefan Kebekus 2024-08-20 16:56:25 +0200
  • efe088f9b5 working… Stefan Kebekus 2024-08-20 15:33:55 +0200
  • e8fa4b646d Cleanup Stefan Kebekus 2024-08-20 12:54:30 +0200
  • 688347a837 Update analyticOn_zeroSet.lean Stefan Kebekus 2024-08-20 11:06:24 +0200
  • 8bc46c2874 Update analyticOn_zeroSet.lean Stefan Kebekus 2024-08-20 10:16:37 +0200
  • b0d663530b Update analyticOn_zeroSet.lean Stefan Kebekus 2024-08-20 09:14:54 +0200
  • 1ca46cf454 Update analyticOn_zeroSet.lean Stefan Kebekus 2024-08-20 08:45:44 +0200
  • 8a62e60b15 Create analyticOn_zeroSet.lean Stefan Kebekus 2024-08-20 07:46:18 +0200
  • 5e7dd06d4c Update holomorphic_zero.lean Stefan Kebekus 2024-08-19 15:59:14 +0200
  • a910bd6988 Update holomorphic_zero.lean Stefan Kebekus 2024-08-19 14:08:00 +0200
  • ec79ed7ba1 Update holomorphic_zero.lean Stefan Kebekus 2024-08-19 12:09:21 +0200
  • 97293e3a60 Update holomorphic_zero.lean Stefan Kebekus 2024-08-19 08:30:02 +0200
  • 7b1c861a92 Update holomorphic_zero.lean Stefan Kebekus 2024-08-19 08:01:37 +0200
  • 2c2370638a Update holomorphic_zero.lean Stefan Kebekus 2024-08-18 19:47:10 +0200
  • f9f177e7b9 Update holomorphic_zero.lean Stefan Kebekus 2024-08-16 20:24:24 +0200
  • d0cd033d5c Update holomorphic_zero.lean Stefan Kebekus 2024-08-16 17:12:36 +0200
  • 9d4657fb81 Update holomorphic_zero.lean Stefan Kebekus 2024-08-16 15:20:24 +0200
  • 9ea3dcb2d6 Update holomorphic_zero.lean Stefan Kebekus 2024-08-16 14:18:48 +0200
  • 9410087ddf Update holomorphic_zero.lean Stefan Kebekus 2024-08-16 10:43:57 +0200
  • 83b3e0da1e Update holomorphic_zero.lean Stefan Kebekus 2024-08-16 09:20:42 +0200
  • 4b25e0694c Create holomorphic_zero.lean Stefan Kebekus 2024-08-16 07:13:38 +0200
  • 44dc57ed39 working… Stefan Kebekus 2024-08-15 16:00:25 +0200
  • 23dfdd3716 working… Stefan Kebekus 2024-08-15 12:10:18 +0200
  • 10f88298c0 Update specialFunctions_Integral_log_sin.lean Stefan Kebekus 2024-08-15 11:46:19 +0200
  • eb58a8df04 Splitting off files Stefan Kebekus 2024-08-15 08:27:00 +0200
  • c124cccb01 Splitting off files Stefan Kebekus 2024-08-15 08:26:55 +0200
  • 3063415cf9 Update specialFunctions_Integrals.lean Stefan Kebekus 2024-08-14 16:03:54 +0200
  • b2de8dbc44 working Stefan Kebekus 2024-08-14 14:12:57 +0200
  • 38179d24c0 Working… Stefan Kebekus 2024-08-13 16:26:55 +0200
  • 0cc0c81508 Update specialFunctions_Integrals.lean Stefan Kebekus 2024-08-13 10:25:03 +0200
  • bc8fed96b0 Update specialFunctions_Integrals.lean Stefan Kebekus 2024-08-13 09:46:30 +0200
  • 0cb1914b18 Add code of Gareth Ma Stefan Kebekus 2024-08-13 08:42:47 +0200
  • 4981e92c1c Update holomorphic_JensenFormula2.lean Stefan Kebekus 2024-08-12 16:26:20 +0200
  • 8b0d0f5c05 Update holomorphic_JensenFormula2.lean Stefan Kebekus 2024-08-12 13:05:55 +0200
  • e6f60971a8 Working… Stefan Kebekus 2024-08-12 13:01:35 +0200
  • da859defb1 Update holomorphic_JensenFormula.lean Stefan Kebekus 2024-08-09 10:31:13 +0200
  • 6ab6e6e6a9 Update holomorphic_JensenFormula.lean Stefan Kebekus 2024-08-09 09:46:37 +0200
  • 17705601c2 working Stefan Kebekus 2024-08-08 17:45:07 +0200
  • 4b6cdcc76a Update harmonicAt_meanValue.lean Stefan Kebekus 2024-08-08 15:04:41 +0200
  • 4642c017c7 working… Stefan Kebekus 2024-08-08 14:26:53 +0200
  • 75ce3b31ef working Stefan Kebekus 2024-08-08 13:32:15 +0200
  • 6a12258093 Update holomorphic_examples.lean Stefan Kebekus 2024-08-08 13:30:59 +0200
  • e5b9559f69 Update holomorphic_examples.lean Stefan Kebekus 2024-08-08 12:40:32 +0200
  • 3e924d5b4a working… Stefan Kebekus 2024-08-08 12:36:06 +0200
  • acb1f34879 Update holomorphic_primitive2.lean Stefan Kebekus 2024-08-08 09:55:56 +0200
  • 83f9aa5d72 Update holomorphic_primitive2.lean Stefan Kebekus 2024-08-07 15:15:03 +0200
  • 951c25624e Update holomorphic_primitive2.lean Stefan Kebekus 2024-08-07 13:29:58 +0200
  • fc3a4ae3f3 Update holomorphic_primitive2.lean Stefan Kebekus 2024-08-07 13:11:53 +0200
  • 656d50e367 Update holomorphic_primitive2.lean Stefan Kebekus 2024-08-07 12:28:36 +0200
  • f0b84fcbff Update holomorphic_primitive2.lean Stefan Kebekus 2024-08-07 10:46:08 +0200
  • ad5e7c69fd Update holomorphic_primitive2.lean Stefan Kebekus 2024-08-07 09:24:55 +0200
  • c3289f89c7 Update holomorphic_primitive2.lean Stefan Kebekus 2024-08-07 09:21:25 +0200
  • a2d3793df2 Update holomorphic_primitive2.lean Stefan Kebekus 2024-08-07 09:17:35 +0200
  • 6bdb910b7c working Stefan Kebekus 2024-08-06 11:13:21 +0200
  • c799170843 working Stefan Kebekus 2024-08-06 10:40:54 +0200
  • 819037fb01 working… Stefan Kebekus 2024-08-05 15:26:28 +0200
  • f4655ef1d3 working… Stefan Kebekus 2024-08-05 14:53:26 +0200
  • 4387149e33 working Stefan Kebekus 2024-08-05 14:18:02 +0200
  • 854b7ef492 working Stefan Kebekus 2024-08-05 13:47:20 +0200
  • c041cff4ad working Stefan Kebekus 2024-08-05 13:41:41 +0200