Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• ca87d6998b work main Stefan Kebekus 2026-06-24 14:33:13 +02:00
• f8cdb5ba69 Update Completion.lean Stefan Kebekus 2026-06-24 14:18:24 +02:00
• 149ad082a3 Update Duality.lean Stefan Kebekus 2026-06-24 14:02:15 +02:00
• b20e936d11 Working Stefan Kebekus 2026-06-24 13:46:07 +02:00
• 73aaf8b24a Working Stefan Kebekus 2026-06-24 13:09:46 +02:00
• 55e9632ed8 Initial commit Lean 4 VS Code ExtensionandLean 4 VS Code Extension 2026-06-24 12:37:19 +02:00