Skip to content

add formality-core skill#5

Merged
nikomatsakis merged 1 commit into
symposium-dev:mainfrom
nikomatsakis:formality-core-skill
Apr 9, 2026
Merged

add formality-core skill#5
nikomatsakis merged 1 commit into
symposium-dev:mainfrom
nikomatsakis:formality-core-skill

add formality core skill

24147c0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
validate
succeeded Apr 9, 2026 in 2m 23s