Skip to content

Disabled labels in saved theorems - #21

Open
JesseStraat wants to merge 2 commits into
mainfrom
labels
Open

Disabled labels in saved theorems#21
JesseStraat wants to merge 2 commits into
mainfrom
labels

Added texformat

720499c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build_package
succeeded Jul 28, 2026 in 2m 14s