Agent Skills: temporal-coalgebra
Coalgebraic observation of derivation streams with final coalgebra bisimulation for infinite trace verification.
UncategorizedID: plurigrid/asi/temporal-coalgebra
165
Install this agent skill to your local
Skill Files
Browse the full folder contents for temporal-coalgebra.
Loading file tree…
Select a file to preview its contents.