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

Commit Graph

  • 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
  • 6759baea2f Update holomorphic_primitive2.lean Stefan Kebekus 2024-08-05 12:41:05 +0200
  • 9294d89ef1 working… Stefan Kebekus 2024-08-05 10:56:41 +0200
  • c44f7e2efd Working… Stefan Kebekus 2024-08-05 10:02:24 +0200
  • 8a8e0769c2 working Stefan Kebekus 2024-08-03 07:20:01 +0200
  • c376bd3c46 Update holomorphic_primitive2.lean Stefan Kebekus 2024-08-02 14:47:39 +0200
  • 103fd5fb0f working… Stefan Kebekus 2024-08-02 12:46:21 +0200
  • 03548bc6da working Stefan Kebekus 2024-08-02 11:22:41 +0200
  • 2e5d008857 working… Stefan Kebekus 2024-08-02 07:16:38 +0200
  • 78de1bd3b0 working Stefan Kebekus 2024-08-01 13:51:15 +0200
  • a1f96806a1 Working… Stefan Kebekus 2024-08-01 12:38:33 +0200
  • f65c84a14b working… Stefan Kebekus 2024-08-01 10:02:36 +0200
  • 9a7c8b82a4 working Stefan Kebekus 2024-07-31 15:59:43 +0200
  • 5328c7cc2a working Stefan Kebekus 2024-07-31 15:08:27 +0200
  • eb4c9da6b5 working Stefan Kebekus 2024-07-31 14:54:41 +0200
  • 167db4310c Add mean value property of harmonic functions Stefan Kebekus 2024-07-31 12:25:30 +0200
  • c9b72c89b5 Minor cleanup Stefan Kebekus 2024-07-31 09:40:35 +0200
  • dd207b19a2 working… Stefan Kebekus 2024-07-30 16:45:26 +0200
  • 8d100b2333 working… Stefan Kebekus 2024-07-30 15:11:57 +0200
  • 1d27eeb66b Working. Stefan Kebekus 2024-07-30 14:11:39 +0200
  • d4de5d8b5a Saving, renaming Stefan Kebekus 2024-07-30 12:19:59 +0200
  • a2c2d05789 Working Stefan Kebekus 2024-07-30 10:52:12 +0200
  • 4ca5f6d4d2 Working… Stefan Kebekus 2024-07-29 15:50:51 +0200
  • f2988797b4 Fix compilation Stefan Kebekus 2024-07-29 11:22:47 +0200
  • c785a85f26 Make things compile again Stefan Kebekus 2024-07-25 15:52:16 +0200
  • 34dfad798c test janneklink 2024-07-14 10:55:58 +0200
  • 789c1100bc Update diffOp.lean Stefan Kebekus 2024-07-12 09:41:05 +0200
  • 5bd004d653 Add file Stefan Kebekus 2024-07-12 09:32:12 +0200
  • ff00a0db82 Update tensor.lean Stefan Kebekus 2024-07-03 11:17:47 +0200
  • 36c3d0f66b Create tensor.lean Stefan Kebekus 2024-07-02 11:45:03 +0200
  • 323b133c88 working... Stefan Kebekus 2024-06-29 17:17:19 +0200
  • 602296031d Update bilinear.lean Stefan Kebekus 2024-06-29 09:17:43 +0200
  • 8b4317759c Update bilinear.lean Stefan Kebekus 2024-06-29 09:01:53 +0200
  • 9a9fbf1b54 Update mathlib Stefan Kebekus 2024-06-28 07:53:20 +0200
  • 6412671bc6 Working… Stefan Kebekus 2024-06-27 14:02:00 +0200
  • c59e12a468 Update laplace2.lean Stefan Kebekus 2024-06-27 06:35:02 +0200
  • 07f4ff610b Create bilinear.lean Stefan Kebekus 2024-06-26 12:28:39 +0200
  • c1766f6a38 Update laplace2.lean Stefan Kebekus 2024-06-24 17:30:30 +0200
  • 42cf2e41b9 Update laplace2.lean Stefan Kebekus 2024-06-24 12:14:18 +0200
  • ecdc182f2b Update laplace2.lean Stefan Kebekus 2024-06-24 08:03:39 +0200
  • adc0378e5d Update laplace2.lean Stefan Kebekus 2024-06-24 07:58:04 +0200
  • d287c24453 New file Stefan Kebekus 2024-06-23 21:13:01 +0200
  • 0a68e3a344 Update holomorphic.primitive.lean Stefan Kebekus 2024-06-19 08:37:14 +0200
  • 7a281ff514 Working… Stefan Kebekus 2024-06-19 08:20:36 +0200
  • 50591a54c2 Update holomorphic.primitive.lean Stefan Kebekus 2024-06-18 19:24:18 +0200
  • decb648c24 Update holomorphic.primitive.lean Stefan Kebekus 2024-06-18 16:49:00 +0200
  • 7e6fc7bacd Update holomorphic.primitive.lean Stefan Kebekus 2024-06-18 11:21:58 +0200
  • 2d7e62bb49 Update holomorphic.primitive.lean Stefan Kebekus 2024-06-18 09:56:44 +0200
  • 46ededdde7 Update holomorphic.primitive.lean Stefan Kebekus 2024-06-17 17:22:17 +0200
  • 8d2339a769 working… Stefan Kebekus 2024-06-17 10:11:39 +0200
  • 321ceba46b Update holomorphic.primitive.lean Stefan Kebekus 2024-06-16 19:15:19 +0200
  • bb74aa273f Update holomorphic.primitive.lean Stefan Kebekus 2024-06-16 19:00:30 +0200
  • 6d36769dab Update holomorphic.primitive.lean Stefan Kebekus 2024-06-14 21:00:51 +0200
  • fcbdd1a2c2 Update holomorphic.primitive.lean Stefan Kebekus 2024-06-14 16:07:58 +0200
  • 0f6c905f60 Update holomorphic.primitive.lean Stefan Kebekus 2024-06-14 10:53:24 +0200
  • ce751dff83 Update holomorphic.primitive.lean Stefan Kebekus 2024-06-12 13:50:29 +0200