Skip to content
GitLab
Explore
Sign in
Register
Louis
Sphinxcontrib-Proof
Repository
Branches
Overview
Active
Stale
All
metaclasses
df053232
·
Use metaclasses to create one node class per statement (theorem, definition, etc.)
·
Oct 17, 2018
!5
numfig_format
53db3397
·
pylint
·
Nov 04, 2018
!6
main
default
9aaaf35a
·
Version 1.6.0
·
Oct 07, 2023