GitHub repository: theknarf-experiments/md-logic
Primary language: TypeScript
Created: 2025-04-26T21:18:39Z
Description: Formal logic as part of Markdown documents