ITreeLang & small examples#1

Open

petrosyh wants to merge 15 commits intodongjaelee1:mainfrom

Commits on Mar 3, 2026

vibe: ITreeLang
Yonghyun Kim
committed
vibe: Imp-ITreeLang finite sim
Yonghyun Kim
committed

Commits on Mar 4, 2026

vibe: ITree coinduction
Yonghyun Kim
committed
vibe: Imp-ITreeLang sim
Yonghyun Kim
committed

Commits on Mar 5, 2026

rename
petrosyh
committed

Commits on Mar 12, 2026

vibe: restructure directories
petrosyh
committed

Commits on Mar 19, 2026