Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 6e2914b06e migrate all tutorials from Markdown to Org mode main Hermes Agent 2026-05-28 20:15:38 +02:00
• 0cf85517c2 Initial commit: 15-unit Lean 4 + PL semantics tutorial curriculum Hermes Agent 2026-05-28 18:14:07 +02:00