skills.homes logoskills.homescapability registry
home/categories/philosophy-ethics/alphaonedev-openclaw-graph-skills-computer-science-cs-formal-skill-md
cd ..
philosophy-ethicslifestyle

cs-formal

Formal methods: type theory HoTT/System F, logic, Hoare triples, TLA+, Coq/Lean verification

View Sourcephilosophy-ethics
alphaonedev
maintainer
alphaonedev
Updated 2/22/2026
Stars
2
Forks
3
quick start

Installation and usage

Formal methods: type theory HoTT/System F, logic, Hoare triples, TLA+, Coq/Lean verification

Installation
$ install --globalskills.sh
Usage

Once installed, you can use this skill by running the following command in your terminal:

skills use cs-formal