Open Issues Need Help
View All on GitHub [CHORE] Generate BibTeX when using Makefiles. about 2 hours 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