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

Commit Graph

  • a9f1c3eaa6 Update holomorphic.primitive.lean Stefan Kebekus 2024-06-12 12:30:08 +02:00
  • f43fd50528 working Stefan Kebekus 2024-06-11 17:18:24 +02:00
  • c3ec40490e working Stefan Kebekus 2024-06-11 13:28:02 +02:00
  • 5d5d7557c0 Update laplace.lean Stefan Kebekus 2024-06-10 16:00:49 +02:00
  • dfbf3f772d Update complexHarmonic.examples.lean Stefan Kebekus 2024-06-10 14:12:16 +02:00
  • 52abf9b79b Done with examples for holomorphicAt Stefan Kebekus 2024-06-10 12:39:40 +02:00
  • 50d0bead78 Working… Stefan Kebekus 2024-06-10 10:58:57 +02:00
  • 21693bd12d working… Stefan Kebekus 2024-06-07 13:16:41 +02:00
  • 271ad821dd Working… Stefan Kebekus 2024-06-07 10:28:11 +02:00
  • 2f4672e144 Working Stefan Kebekus 2024-06-06 14:45:29 +02:00
  • a6aba0fc68 Working… Stefan Kebekus 2024-06-06 09:52:42 +02:00
  • a15d473434 Update partialDeriv.lean Stefan Kebekus 2024-06-05 16:31:55 +02:00
  • 9c53bb793a Working… Stefan Kebekus 2024-06-05 12:03:05 +02:00
  • a34699ddbc Create holomorphic.lean Stefan Kebekus 2024-06-05 10:19:09 +02:00
  • 05582e5d83 Update complexHarmonic.lean Stefan Kebekus 2024-06-05 09:51:02 +02:00
  • 74d9636aa9 Simplify Stefan Kebekus 2024-06-05 09:06:25 +02:00
  • 7741447426 Update partialDeriv.lean Stefan Kebekus 2024-06-05 06:42:05 +02:00
  • 80486cc56c working Stefan Kebekus 2024-06-04 12:30:25 +02:00
  • 6eea56e788 Working… Stefan Kebekus 2024-06-04 10:27:46 +02:00
  • 4d3332b15d Update complexHarmonic.examples.lean Stefan Kebekus 2024-06-03 18:53:55 +02:00
  • c595da782c Update complexHarmonic.examples.lean Stefan Kebekus 2024-06-03 18:45:31 +02:00
  • 89793b75d8 Update complexHarmonic.examples.lean Stefan Kebekus 2024-06-03 17:32:33 +02:00
  • e76e9abaf3 split off file Stefan Kebekus 2024-06-03 13:59:10 +02:00
  • e1eb1463e8 Cleanup Stefan Kebekus 2024-06-03 13:41:33 +02:00
  • c2c730e510 All done. Stefan Kebekus 2024-06-03 13:35:53 +02:00
  • 40659c2f17 Working… Stefan Kebekus 2024-06-03 12:56:30 +02:00
  • 637c0cf175 Update complexHarmonic.lean Stefan Kebekus 2024-05-31 16:10:06 +02:00
  • d6e8f57019 working… Stefan Kebekus 2024-05-31 16:06:42 +02:00
  • 7a1359308e done for today Stefan Kebekus 2024-05-31 10:21:27 +02:00
  • a7b0790675 working Stefan Kebekus 2024-05-31 09:21:35 +02:00
  • c8e1aacb15 working Stefan Kebekus 2024-05-30 17:02:15 +02:00
  • b0ab121868 working Stefan Kebekus 2024-05-30 16:20:06 +02:00
  • ac3cd65bf2 Update complexHarmonic.lean Stefan Kebekus 2024-05-30 10:49:16 +02:00
  • 7f10e28525 Update complexHarmonic.lean Stefan Kebekus 2024-05-30 10:41:10 +02:00
  • 2544242b13 Update laplace.lean Stefan Kebekus 2024-05-30 10:26:39 +02:00
  • 47ab90446f Update laplace.lean Stefan Kebekus 2024-05-30 10:05:13 +02:00
  • f480ae2a0f Update partialDeriv.lean Stefan Kebekus 2024-05-30 09:57:36 +02:00
  • 3bdc7eaffb Working... Stefan Kebekus 2024-05-29 16:33:32 +02:00
  • 7319bf60c0 Update complexHarmonic.lean Stefan Kebekus 2024-05-18 12:13:30 +02:00
  • 348492cc94 Update complexHarmonic.lean Stefan Kebekus 2024-05-17 12:31:36 +02:00
  • 82fdc5ac37 Update complexHarmonic.lean Stefan Kebekus 2024-05-17 10:09:14 +02:00
  • bcb639a5be Fix errors Stefan Kebekus 2024-05-17 09:19:24 +02:00
  • aeda1e981d Update complexHarmonic.lean Stefan Kebekus 2024-05-17 09:05:15 +02:00
  • 71ad6aa67e Update complexHarmonic.lean Stefan Kebekus 2024-05-16 21:46:01 +02:00
  • 077bace964 Update complexHarmonic.lean Stefan Kebekus 2024-05-16 10:16:29 +02:00
  • 710de9372b Update complexHarmonic.lean Stefan Kebekus 2024-05-16 10:01:15 +02:00
  • 015ab14131 Update complexHarmonic.lean Stefan Kebekus 2024-05-16 09:37:17 +02:00
  • bb2732106c Update complexHarmonic.lean Stefan Kebekus 2024-05-16 09:19:45 +02:00
  • bfeade4095 Update complexHarmonic.lean Stefan Kebekus 2024-05-15 21:17:42 +02:00
  • 1c34aee7be working Stefan Kebekus 2024-05-15 15:31:57 +02:00
  • 4ff9c41ae3 Update complexHarmonic.lean Stefan Kebekus 2024-05-15 15:15:33 +02:00
  • 4064f69c03 Update complexHarmonic.lean Stefan Kebekus 2024-05-15 15:03:16 +02:00
  • 058ea29a64 Update complexHarmonic.lean Stefan Kebekus 2024-05-15 10:09:22 +02:00
  • a60e07e602 Update complexHarmonic.lean Stefan Kebekus 2024-05-14 17:24:34 +02:00
  • 06f8de2f56 Update complexHarmonic.lean Stefan Kebekus 2024-05-14 17:02:45 +02:00
  • 4acac60a4f Update complexHarmonic.lean Stefan Kebekus 2024-05-14 09:47:46 +02:00
  • e7b23a6b2c Update complexHarmonic.lean Stefan Kebekus 2024-05-13 10:10:10 +02:00
  • 5e3f9c463f Update laplace.lean Stefan Kebekus 2024-05-13 09:52:15 +02:00
  • e5f2551482 Fix error Stefan Kebekus 2024-05-13 09:48:16 +02:00
  • ad1e7d113f Update laplace.lean Stefan Kebekus 2024-05-13 09:46:21 +02:00
  • d5f34a3110 Split off file Stefan Kebekus 2024-05-13 09:23:08 +02:00
  • 005cd10a28 Update partialDeriv.lean Stefan Kebekus 2024-05-09 10:39:40 +02:00
  • 6ea989be6b Update partialDeriv.lean Stefan Kebekus 2024-05-09 08:18:55 +02:00
  • 9579da6e39 Define partial over arbitrary fields Stefan Kebekus 2024-05-08 15:59:56 +02:00
  • 69a35228ee Update complexHarmonic.lean Stefan Kebekus 2024-05-08 08:32:06 +02:00
  • 5ce2b83c20 Update complexHarmonic.lean Stefan Kebekus 2024-05-08 08:27:12 +02:00
  • 631b1bad70 Update complexHarmonic.lean Stefan Kebekus 2024-05-08 07:15:34 +02:00
  • 6061fa4279 Update partialDeriv.lean Stefan Kebekus 2024-05-07 17:32:41 +02:00
  • e45017277a Working Stefan Kebekus 2024-05-07 16:50:57 +02:00
  • b5cf426b7f Clean up Stefan Kebekus 2024-05-07 13:45:35 +02:00
  • b26256d84e Big cleanup Stefan Kebekus 2024-05-07 12:13:28 +02:00
  • a1910c3a72 Working... Stefan Kebekus 2024-05-07 10:16:23 +02:00
  • 403605f7a0 Working on partial derivatives Stefan Kebekus 2024-05-07 09:49:56 +02:00
  • dc544308c8 Update complexHarmonic.lean Stefan Kebekus 2024-05-07 07:08:23 +02:00
  • 9ac79470cd Update complexHarmonic.lean Stefan Kebekus 2024-05-06 17:01:10 +02:00
  • b03954eee9 Create comparingDerivatives.lean Stefan Kebekus 2024-05-06 15:33:00 +02:00
  • e5383eff34 Make it work! Stefan Kebekus 2024-05-06 10:09:49 +02:00
  • c44f4fe3b0 Cleanup Stefan Kebekus 2024-05-06 09:01:43 +02:00
  • a55b084031 Update complexHarmonic.lean Stefan Kebekus 2024-05-03 15:54:51 +02:00
  • bfdc7f6d2a Update complexHarmonic.lean Stefan Kebekus 2024-05-03 12:23:09 +02:00
  • ea3693ff24 Update complexHarmonic.lean Stefan Kebekus 2024-05-02 21:09:38 +02:00
  • f239759275 Update complexHarmonic.lean Stefan Kebekus 2024-05-02 17:55:26 +02:00
  • b9a973d10d Update complexHarmonic.lean Stefan Kebekus 2024-05-02 09:48:26 +02:00
  • f85fafd05f Working... Stefan Kebekus 2024-04-30 08:20:57 +02:00
  • 0c15de05b8 Merge branch 'main' of git.cplx.vm.uni-freiburg.de:kebekus/nevanlinna Stefan Kebekus 2024-04-30 06:52:41 +02:00
  • b2f04c1dfa Update cauchyRiemann.lean Stefan Kebekus 2024-04-29 20:53:47 +02:00
  • 2d2a21be72 Update cauchyRiemann.lean Stefan Kebekus 2024-04-29 19:48:37 +02:00
  • 38eaf677f9 Update cauchyRiemann.lean Stefan Kebekus 2024-04-29 14:19:58 +02:00
  • 77d1fd2ae4 Working… Stefan Kebekus 2024-04-29 10:19:21 +02:00
  • a5bf92552c Update cauchyRiemann.lean Stefan Kebekus 2024-04-29 08:54:28 +02:00
  • ef75cb4579 working... Stefan Kebekus 2024-04-28 21:17:45 +02:00
  • 90d3aceb95 cauchy riemann Stefan Kebekus 2024-04-28 21:09:38 +02:00
  • 53b5248e81 experimenting… Stefan Kebekus 2024-04-26 21:18:06 +02:00
  • 1918cc0139 Update harmonic.lean Stefan Kebekus 2024-04-26 16:02:56 +02:00
  • 187781f971 Experimenting… Stefan Kebekus 2024-04-26 13:53:44 +02:00
  • 98efcf9f87 Update logabs.lean Stefan Kebekus 2024-04-25 19:16:21 +02:00
  • cbe98c404b Create logabs.lean Stefan Kebekus 2024-04-25 10:18:24 +02:00
  • fb5bf47170 Working… Stefan Kebekus 2024-04-24 16:23:39 +02:00
  • d1de7fee33 Update test.lean Stefan Kebekus 2024-04-24 10:09:34 +02:00
  • 72ce984d03 Update test.lean Stefan Kebekus 2024-04-23 21:20:50 +02:00