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

Commit Graph

  • 0526a8c367 Update README main Stefan Kebekus 2025-01-08 11:12:38 +0100
  • d391ebe1ba Update README.md Stefan Kebekus 2025-01-07 08:26:52 +0100
  • b26cde43a1 Update README.md Stefan Kebekus 2025-01-06 12:52:49 +0100
  • 325736f1e9 Update README.md Stefan Kebekus 2025-01-06 12:46:25 +0100
  • b4d2f46595 Add README Stefan Kebekus 2025-01-06 10:36:44 +0100
  • 9341f6a24f Update specialFunctions_Integral_log_sin.lean Stefan Kebekus 2025-01-03 20:08:33 +0100
  • 6329e081a3 Add leftovers Stefan Kebekus 2025-01-03 18:08:55 +0100
  • f5a835764b Update Stefan Kebekus 2025-01-03 17:45:22 +0100
  • ce3b3d8bd1 Working… Stefan Kebekus 2025-01-03 16:48:53 +0100
  • 08e963e801 Working… Stefan Kebekus 2025-01-03 14:07:53 +0100
  • 054edd49a7 Working… Stefan Kebekus 2025-01-03 11:32:28 +0100
  • e7320231e9 Working… Stefan Kebekus 2025-01-03 11:09:51 +0100
  • 4c4ed3d2b8 Working… Stefan Kebekus 2025-01-03 10:38:06 +0100
  • 5f3f7173f5 Update mathlib Stefan Kebekus 2025-01-01 20:40:43 +0100
  • 726ac9e93d Update firstMain.lean Stefan Kebekus 2024-12-24 06:50:23 +0100
  • b189664211 Update meromorphicAt.lean Stefan Kebekus 2024-12-21 11:53:04 +0100
  • e488068a7c Working… Stefan Kebekus 2024-12-21 07:04:13 +0100
  • 402128875f Update logpos.lean Stefan Kebekus 2024-12-20 20:52:06 +0100
  • c218c59225 Update logpos.lean Stefan Kebekus 2024-12-20 15:27:06 +0100
  • 0139e9c95a Update firstMain.lean Stefan Kebekus 2024-12-20 11:54:02 +0100
  • 22d2eae3f6 Working Stefan Kebekus 2024-12-20 11:30:06 +0100
  • 93006a2a7e Working… Stefan Kebekus 2024-12-20 09:42:56 +0100
  • 6e9cb9e62b working… Stefan Kebekus 2024-12-20 08:16:22 +0100
  • 1e28302c17 Working… Stefan Kebekus 2024-12-19 21:24:13 +0100
  • 4cc853a5d9 Working… Stefan Kebekus 2024-12-19 16:10:51 +0100
  • e5b49993b7 Update specialFunctions_CircleIntegral_affine.lean Stefan Kebekus 2024-12-18 13:07:36 +0100
  • a2b084f535 Update meromorphicOn_integrability.lean Stefan Kebekus 2024-12-18 11:04:36 +0100
  • cc7d96124c Update lake-manifest.json Stefan Kebekus 2024-12-18 08:47:40 +0100
  • 309724de36 Working… Stefan Kebekus 2024-12-16 17:17:43 +0100
  • 12397c3055 Working… Stefan Kebekus 2024-12-16 12:43:00 +0100
  • cf301d65d6 Working… Stefan Kebekus 2024-12-16 07:36:01 +0100
  • e80aebfe38 Update stronglyMeromorphicOn_eliminate.lean Stefan Kebekus 2024-12-13 16:24:24 +0100
  • 1c02007e1e Working… Stefan Kebekus 2024-12-13 16:03:00 +0100
  • 39c70be68c Working… Stefan Kebekus 2024-12-13 12:26:05 +0100
  • 84abab6b78 Working Stefan Kebekus 2024-12-13 07:58:40 +0100
  • 1d1ae779cc Working Stefan Kebekus 2024-12-12 13:49:33 +0100
  • 7dcc6e209c Update lean Stefan Kebekus 2024-12-12 12:23:19 +0100
  • ee7f20c593 Working… Stefan Kebekus 2024-12-11 12:36:44 +0100
  • c7a3804b0c Implementing… Stefan Kebekus 2024-12-09 19:58:56 +0100
  • 3b2d1434f7 Update firstMain.lean Stefan Kebekus 2024-12-09 16:00:26 +0100
  • 9068ad406e Update firstMain.lean Stefan Kebekus 2024-12-05 16:53:48 +0100
  • c6e72864c8 Update firstMain.lean Stefan Kebekus 2024-12-05 13:51:00 +0100
  • dce2f57135 Move unused files to junk Stefan Kebekus 2024-12-05 13:43:58 +0100
  • 20a0d664b7 Update stronglyMeromorphic_JensenFormula.lean Stefan Kebekus 2024-12-05 13:42:47 +0100
  • 734ea1a8f4 Working… Stefan Kebekus 2024-12-05 12:00:49 +0100
  • 5e244a732a Working… Stefan Kebekus 2024-12-05 07:12:32 +0100
  • ae3e64c83b Working… Stefan Kebekus 2024-12-03 17:21:22 +0100
  • ad298459ee working Stefan Kebekus 2024-12-03 16:54:13 +0100
  • ebfa0e9bd0 Update stronglyMeromorphic_JensenFormula.lean Stefan Kebekus 2024-12-03 12:05:00 +0100
  • 8d72fae4dc Update mathlib and work on Jensen Formula Stefan Kebekus 2024-12-03 10:21:38 +0100
  • 7e3ccaf7d5 Fix compilations Stefan Kebekus 2024-12-03 09:08:14 +0100
  • 9aa2604c18 Fix compilation Stefan Kebekus 2024-12-03 08:00:55 +0100
  • 084841c35a working… Stefan Kebekus 2024-12-02 17:46:48 +0100
  • 4320db0533 Update stronglyMeromorphic_JensenFormula.lean Stefan Kebekus 2024-12-02 16:49:16 +0100
  • 7fa50d47e9 Create stronglyMeromorphic_JensenFormula.lean Stefan Kebekus 2024-11-29 13:45:05 +0100
  • 580ea61f96 Done with elimination Stefan Kebekus 2024-11-29 13:24:20 +0100
  • eec4cd1ffa Update mathlib Stefan Kebekus 2024-11-29 09:55:22 +0100
  • e20dcdbd19 Working. Stefan Kebekus 2024-11-29 07:09:01 +0100
  • 3f24072412 Working… Stefan Kebekus 2024-11-28 18:57:43 +0100
  • 2b7ab1af9d Working Stefan Kebekus 2024-11-28 18:24:08 +0100
  • 8bc84748a3 Working… Stefan Kebekus 2024-11-28 16:52:56 +0100
  • 8525ae1ece Working… Stefan Kebekus 2024-11-27 11:54:31 +0100
  • 9be57a898c Update stronglyMeromorphicOn_eliminate.lean Stefan Kebekus 2024-11-27 10:43:13 +0100
  • 37359a319f working… Stefan Kebekus 2024-11-26 20:04:58 +0100
  • 46740a0f17 Update stronglyMeromorphicOn_eliminate.lean Stefan Kebekus 2024-11-26 14:14:03 +0100
  • 092bfd85a3 Update stronglyMeromorphicOn_ratlPolynomial.lean Stefan Kebekus 2024-11-26 11:20:02 +0100
  • 0e88e97295 Update stronglyMeromorphicOn_ratlPolynomial.lean Stefan Kebekus 2024-11-25 15:33:44 +0100
  • 5f85934bbe Working… Stefan Kebekus 2024-11-25 14:25:00 +0100
  • 8c1fefb0be Update lake-manifest.json Stefan Kebekus 2024-11-25 12:15:45 +0100
  • 6fb627dad3 working... Stefan Kebekus 2024-11-21 17:15:32 +0100
  • b038a5f47f Update stronglyMeromorphicOn.lean Stefan Kebekus 2024-11-20 16:08:59 +0100
  • 6294e3c4ea Update stronglyMeromorphicOn_eliminate.lean Stefan Kebekus 2024-11-20 12:01:52 +0100
  • b3eefceb39 working… Stefan Kebekus 2024-11-20 11:43:09 +0100
  • f65785b62b Working… Stefan Kebekus 2024-11-20 08:12:12 +0100
  • 25d0e2086a working Stefan Kebekus 2024-11-19 16:33:33 +0100
  • 971b7cc23c Working! Stefan Kebekus 2024-11-19 15:54:28 +0100
  • ab02fe715e Update stronglyMeromorphicOn_eliminate.lean Stefan Kebekus 2024-11-19 13:57:08 +0100
  • 513c122036 working Stefan Kebekus 2024-11-19 13:20:19 +0100
  • 32f0bdf6e1 Update stronglyMeromorphicOn_eliminate.lean Stefan Kebekus 2024-11-19 12:06:03 +0100
  • 81f1c6ae94 working… Stefan Kebekus 2024-11-19 11:31:24 +0100
  • 69b9ad6d3b working… Stefan Kebekus 2024-11-19 10:07:20 +0100
  • 226609f9c0 Working… Stefan Kebekus 2024-11-19 08:45:20 +0100
  • c5dc9ea786 Working… Stefan Kebekus 2024-11-19 07:16:04 +0100
  • 68acec101e Update meromorphicOn.lean Stefan Kebekus 2024-11-18 19:27:51 +0100
  • 12888b75fb Update meromorphicOn.lean Stefan Kebekus 2024-11-18 18:44:42 +0100
  • 22d9b8aa95 Update meromorphicOn.lean Stefan Kebekus 2024-11-17 16:56:27 +0100
  • 6e204a0348 Update meromorphicOn.lean Stefan Kebekus 2024-11-16 13:24:50 +0100
  • b6014409de Update meromorphicOn.lean Stefan Kebekus 2024-11-15 12:16:41 +0100
  • 8bff0c782b Minor update Stefan Kebekus 2024-11-15 09:01:55 +0100
  • d7b78e8e33 working Stefan Kebekus 2024-11-14 16:53:35 +0100
  • fb642a4ed0 working Stefan Kebekus 2024-11-14 16:18:32 +0100
  • f22cea20a0 Update stronglyMeromorphicAt.lean Stefan Kebekus 2024-11-14 15:54:21 +0100
  • ccfc457c48 Update stronglyMeromorphicAt.lean Stefan Kebekus 2024-11-14 15:36:36 +0100
  • 62abf21cfd Update stronglyMeromorphicAt.lean Stefan Kebekus 2024-11-14 15:33:19 +0100
  • 9ebb1c5215 Update stronglyMeromorphicAt.lean Stefan Kebekus 2024-11-14 15:32:19 +0100
  • 1a14bbbdd6 Update stronglyMeromorphicAt.lean Stefan Kebekus 2024-11-14 14:08:06 +0100
  • 89abb9190f Working… Stefan Kebekus 2024-11-14 13:47:24 +0100
  • ebeba74314 Working… Stefan Kebekus 2024-11-14 11:24:44 +0100
  • f43674dedc working Stefan Kebekus 2024-11-14 06:49:15 +0100
  • 24bd4f9ffa Working… Stefan Kebekus 2024-11-13 16:12:25 +0100