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

Commit Graph

  • 38eaf677f9 Update cauchyRiemann.lean Stefan Kebekus 2024-04-29 14:19:58 +0200
  • 77d1fd2ae4 Working… Stefan Kebekus 2024-04-29 10:19:21 +0200
  • a5bf92552c Update cauchyRiemann.lean Stefan Kebekus 2024-04-29 08:54:28 +0200
  • ef75cb4579 working... Stefan Kebekus 2024-04-28 21:17:45 +0200
  • 90d3aceb95 cauchy riemann Stefan Kebekus 2024-04-28 21:09:38 +0200
  • 53b5248e81 experimenting… Stefan Kebekus 2024-04-26 21:18:06 +0200
  • 1918cc0139 Update harmonic.lean Stefan Kebekus 2024-04-26 16:02:56 +0200
  • 187781f971 Experimenting… Stefan Kebekus 2024-04-26 13:53:44 +0200
  • 98efcf9f87 Update logabs.lean Stefan Kebekus 2024-04-25 19:16:21 +0200
  • cbe98c404b Create logabs.lean Stefan Kebekus 2024-04-25 10:18:24 +0200
  • fb5bf47170 Working… Stefan Kebekus 2024-04-24 16:23:39 +0200
  • d1de7fee33 Update test.lean Stefan Kebekus 2024-04-24 10:09:34 +0200
  • 72ce984d03 Update test.lean Stefan Kebekus 2024-04-23 21:20:50 +0200
  • f33953de0a Working… Stefan Kebekus 2024-04-23 10:56:52 +0200
  • e37ef6da16 Messing around Stefan Kebekus 2024-04-23 10:03:36 +0200
  • a5ce6034de First test Stefan Kebekus 2024-04-23 09:22:06 +0200
  • 5382d1572b Add files Stefan Kebekus 2024-04-23 09:18:45 +0200