Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 509573e09c Update Basic.lean main Stefan Kebekus 2026-05-20 10:02:09 +02:00
• 22d6f74874 Update Basic.lean Stefan Kebekus 2026-05-13 16:46:25 +02:00
• a8dea9a06b Update Basic.lean Stefan Kebekus 2026-05-10 17:33:45 +02:00
• 0e43b248d4 Working… Stefan Kebekus 2026-04-29 08:22:50 +02:00
• 84c3d25480 Update Cartan.lean Stefan Kebekus 2026-03-18 20:16:43 +01:00
• c1dc49b4f1 Create Cartan.lean Stefan Kebekus 2026-03-18 19:08:54 +01:00
• 898bbf8569 Update LEAN Stefan Kebekus 2026-03-18 09:58:20 +01:00
• b5192d563b Working Stefan Kebekus 2026-03-17 10:55:30 +01:00
• cfa24bcf63 Create Basic_aristotle.lean Stefan Kebekus 2026-03-17 08:51:10 +01:00
• 3431ed262a Update Basic.lean Stefan Kebekus 2026-03-17 08:45:57 +01:00
• fbe5000a26 Next challenge Stefan Kebekus 2026-03-16 06:57:02 +01:00
• 0204554b17 Update Basic.lean Stefan Kebekus 2026-02-23 07:26:21 +01:00
• 121bdeac90 Working Stefan Kebekus 2026-02-16 07:27:43 +01:00
• ba0469d4ab Cleanup Stefan Kebekus 2026-01-25 17:22:49 +01:00
• 6ec755312b Update Basic.lean Stefan Kebekus 2025-12-13 07:15:12 +01:00
• 6de85b8db6 Update Basic.lean Stefan Kebekus 2025-12-12 20:25:12 +01:00
• b807b3597a Update Basic.lean Stefan Kebekus 2025-12-12 16:01:21 +01:00
• 7bbf97915c Delete 884838fd-52e4-4608-80c9-73a896264eae-output.lean Stefan Kebekus 2025-12-12 10:49:54 +01:00
• 542225a6f7 Update Basic.lean Stefan Kebekus 2025-12-12 10:34:09 +01:00
• 3923c53d90 Update Basic.lean Stefan Kebekus 2025-12-10 14:29:14 +01:00
• 1f6fcd938a Create 884838fd-52e4-4608-80c9-73a896264eae-output.lean Stefan Kebekus 2025-12-08 07:17:08 +01:00
• b7ade87d22 Update Basic.lean Stefan Kebekus 2025-12-04 17:05:57 +01:00
• c308fc2403 Update Basic.lean Stefan Kebekus 2025-12-02 16:45:26 +01:00
• 7942fe14aa Update Basic.lean Stefan Kebekus 2025-12-01 17:13:13 +01:00
• 3456e167d3 Update Basic.lean Stefan Kebekus 2025-11-28 15:41:39 +01:00
• c699823ad8 Update Basic.lean Stefan Kebekus 2025-11-26 16:54:46 +01:00
• c6396e002d Update Basic.lean Stefan Kebekus 2025-11-19 14:43:14 +01:00
• 2bb8762a4f Update Basic.lean Stefan Kebekus 2025-11-04 16:30:01 +01:00
• b3f99c37f2 Update Basic.lean Stefan Kebekus 2025-10-27 15:27:06 +01:00
• 9a25034577 Update Basic.lean Stefan Kebekus 2025-10-27 07:04:03 +01:00
• 7a04938669 Update Basic.lean Stefan Kebekus 2025-10-26 06:38:18 +01:00
• 20a6e02774 Cleanup Stefan Kebekus 2025-10-25 07:19:27 +02:00
• 7eb9cf9772 Working… Stefan Kebekus 2025-10-25 07:07:57 +02:00
• d1fc1b634f Initial commit Lean 4 VS Code ExtensionandLean 4 VS Code Extension 2025-10-25 06:58:12 +02:00