Skip to content

WIP: Use metaclasses to create one node class per statement (theorem, definition, etc.)

Louis requested to merge metaclasses into main

Merge request reports