https://github.com/publications-org/papers
Open Access Publications on Mathematics and Computer Science (https://amlal.nekernel.org)
https://github.com/publications-org/papers
cs lean math papers publications
Last synced: about 4 hours ago
JSON representation
Open Access Publications on Mathematics and Computer Science (https://amlal.nekernel.org)
- Host: GitHub
- URL: https://github.com/publications-org/papers
- Owner: publications-org
- License: apache-2.0
- Created: 2026-02-17T10:42:06.000Z (4 months ago)
- Default Branch: master
- Last Pushed: 2026-06-21T00:10:40.000Z (7 days ago)
- Last Synced: 2026-06-21T02:06:27.007Z (7 days ago)
- Topics: cs, lean, math, papers, publications
- Language: TeX
- Homepage: https://amlal.nekernel.org
- Size: 1.09 MB
- Stars: 6
- Watchers: 1
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
- Citation: CITATION.cff
Awesome Lists containing this project
README
# Publications at: amlal.nekernel.org
The TeX sources of Amlal El Mahrouss's papers. Citations and proofs included.
## Contents:
The repository is currently organized as stated below:
* On Glossary.
* On Proofs.
* On Theorems.
* An In-Between Proof Before Algebraic Concepts.
* On Algebra.
* On Distributed Systems.
* On Plots.
## Similar Works:
* https://github.com/amlal-nekernel-org/talks
* https://github.com/open-cpp-libraries/src
## How to access the documents:
Simply do the following:
`https://amlal.nekernel.org/poi/`.
## Credits:
- Thanks to the people I contacted who took time to proof-read the work, it really means a lot.
- Citation files are available in the sources as well.
## Citing:
When using the work, please cite it using what's inside the CITATION.cff.
##### Copyright (C) Amlal El Mahrouss 2025-2026, all rights reserved, licensed under the Apache License 2.0, see LICENSE.txt