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

Commit Graph

  • 2bb8762a4f Update Basic.lean main 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