skills.rest
Alasdair Allan avatar

Alasdair Allan

Community

@aallan · Exeter, UK

318Followers
|
57Public Repos
|
1Published Skills

Scientist, Author, Hacker, Tinkerer, Maker and Journalist.

🐙 GitHub ↗🌐 Website ↗🐤 @aallan ↗

Agent Skills by Alasdair Allan

Showing 1 vetted skills indexed across 1 GitHub repositories.

aallanaallan
406

vera-language

Create and verify Vera programs with static type checking and Z3 contracts.

Community
Advanced