GitHub repository: potassco/mkdoclingo
Primary language: Python
Created: 2024-12-03T22:05:44Z
Description: Mkdocs plugin for automatic documentation in clingo