Agent Skills: transcendental-keyboard
Unified keyboard control surface for transcendental syntax proof environments (Stellogen, Proof General, Narya, Lean) with Gay.jl color feedback
UncategorizedID: plurigrid/asi/transcendental-keyboard
165
Install this agent skill to your local
Skill Files
Browse the full folder contents for transcendental-keyboard.
Loading file tree…
Select a file to preview its contents.