Skip to content
GitLab
Explore
Sign in
Register
Louis
Sphinxcontrib-Proof
Merge requests
!5
WIP: Use metaclasses to create one node class per statement (theorem, definition, etc.)
Code
Review changes
Check out branch
Download
Patches
Plain diff
Louis
requested to merge
metaclasses
into
main
Oct 17, 2018
Overview
1
Commits
1
Pipelines
1
Changes
1
Expand
Merge request reports