skills.rest
PhRxMAz avatar

PhRxMAz

Community

@dielawn-01

3Followers
|
6Public Repos
|
1Published Skills
🐙 GitHub ↗

Agent Skills by PhRxMAz

Showing 1 vetted skills indexed across 1 GitHub repositories.

Dielawn-01Dielawn-01

protoreal-algebra

Formalize and verify a non-associative algebra with Lean 4.

Community
Advanced