Open Issues Need Help
View All on GitHub [CHORE] src: CI/CD tasks. 20 days 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. 22 days 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. 23 days 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