Open Issues Need Help
View All on GitHub [CHORE] src: CI/CD tasks. about 1 month ago
help wanted good first issue
Open Access papers on Mathematics and Computer Science. (https://amlal.nekernel.org)
TeX
#complex-analysis#cs#lean#lean4#math#number-theory#open-science#open-source#proof-assistant#proof-writing#publications#theorem-proving
[FEAT] src: Several proofs to practice Lean4. about 1 month ago
enhancement help wanted
Open Access papers on Mathematics and Computer Science. (https://amlal.nekernel.org)
TeX
#complex-analysis#cs#lean#lean4#math#number-theory#open-science#open-source#proof-assistant#proof-writing#publications#theorem-proving
[CHORE] Generate BibTeX when using Makefiles. about 2 months ago
help wanted
Open Access papers on Mathematics and Computer Science. (https://amlal.nekernel.org)
TeX
#complex-analysis#cs#lean#lean4#math#number-theory#open-science#open-source#proof-assistant#proof-writing#publications#theorem-proving