Open Issues Need Help
View All on GitHub docs: add reusable TypeScript law-array patterns about 1 month ago
documentation good first issue
Executable temporal laws for event-driven TypeScript systems.
TypeScript
#event-driven#property-based-testing#runtime-verification#temporal-logic#typescript
docs: show JSONL source and line diagnostics about 1 month ago
documentation good first issue
Executable temporal laws for event-driven TypeScript systems.
TypeScript
#event-driven#property-based-testing#runtime-verification#temporal-logic#typescript
docs: add one complete example for each law operator about 1 month ago
documentation good first issue
Executable temporal laws for event-driven TypeScript systems.
TypeScript
#event-driven#property-based-testing#runtime-verification#temporal-logic#typescript