4 Commits

Author	SHA1	Message	Date
Stefan Kebekus	08e963e801	Working…	2025-01-03 14:07:53 +01:00
Stefan Kebekus	402128875f	Update logpos.lean	2024-12-20 20:52:06 +01:00
Stefan Kebekus	c218c59225	Update logpos.lean	2024-12-20 15:27:06 +01:00
Stefan Kebekus	4cc853a5d9	Working…	2024-12-19 16:10:51 +01:00