Commit Graph

  • 6ec755312b Update Basic.lean main 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 Extension 2025-10-25 06:58:12 +02:00