An NL-Lean template for mathematical knowledge management.
Stars
8
Forks
0
Watchers
Open Issues
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
11
commits
Complex-Number
07a9df1
20250928 -- Fulcrum
6ba3118
Added star parameter to eliminate extra newline.
0da7291
rule -> rul
7057510
Added rules and structure environments.
d2670e4
Red for undefined operators
9ab3dad
Fixed Extra Parentheses Problem.
6182b12
Updated Remark, Problem and Solution environments.
5ca9631
Added OperatorListCN.sty; Optional English title optimized.
359aa59
Create README.md
1cc97bc
Add files via upload
70b8649