Commit Graph

58 Commits

Author SHA1 Message Date
Stefan Kebekus cbe98c404b Create logabs.lean 2024-04-25 10:18:24 +02:00
Stefan Kebekus fb5bf47170 Working… 2024-04-24 16:23:39 +02:00
Stefan Kebekus d1de7fee33 Update test.lean 2024-04-24 10:09:34 +02:00
Stefan Kebekus 72ce984d03 Update test.lean 2024-04-23 21:20:50 +02:00
Stefan Kebekus f33953de0a Working… 2024-04-23 10:56:52 +02:00
Stefan Kebekus e37ef6da16 Messing around 2024-04-23 10:03:36 +02:00
Stefan Kebekus a5ce6034de First test 2024-04-23 09:22:06 +02:00
Stefan Kebekus 5382d1572b Add files 2024-04-23 09:18:45 +02:00