Open Issues Need Help
View All on GitHub docs: add reusable TypeScript law-array patterns about 12 hours 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 12 hours 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 12 hours ago
documentation good first issue
Executable temporal laws for event-driven TypeScript systems.
TypeScript
#event-driven#property-based-testing#runtime-verification#temporal-logic#typescript