| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2026-02-16 | chore: update papers, add assumptions in 'Integrals for Equations and ↵ | Amlal El Mahrouss | |
| Analysis' paper. Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-16 | chore: update papers, add assumptions in 'Integrals for Equations and ↵ | Amlal El Mahrouss | |
| Analysis' paper. Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-16 | chore: update papers, add assumptions in 'Integrals for Equations and ↵ | Amlal El Mahrouss | |
| Analysis' paper. Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-16 | chore: update papers, add assumptions in 'Integrals for Equations and ↵ | Amlal El Mahrouss | |
| Analysis' paper. Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-16 | chore: update papers, add assumptions in 'Integrals for Equations and ↵ | Amlal El Mahrouss | |
| Analysis' paper. Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-16 | chore: update papers, add assumptions in 'Integrals for Equations and ↵ | Amlal El Mahrouss | |
| Analysis' paper. Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-16 | chore: update papers, add assumptions in 'Integrals for Equations and ↵ | Amlal El Mahrouss | |
| Analysis' paper. Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-16 | chore: update papers, add assumptions in 'Integrals for Equations and ↵ | Amlal El Mahrouss | |
| Analysis' paper. Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-16 | chore: update papers, add assumptions in 'Integrals for Equations and ↵ | Amlal El Mahrouss | |
| Analysis' paper. Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-16 | chore: update papers, add assumptions in 'Integrals for Equations and ↵ | Amlal El Mahrouss | |
| Analysis' paper. Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-16 | chore: update papers, add assumptions in 'Lemmas for Integrals' paper. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-16 | chore: update papers, add assumptions in 'Sum Analysis' paper. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-16 | chore: update papers, add assumptions in 'Sum Analysis' paper. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-16 | chore: update papers, reworking them. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-16 | chore: update papers, reworking them. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-16 | chore: update papers, fixed them. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-16 | chore: update papers, remove bad lemma. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-16 | chore: update paper structure. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-16 | chore: add new paper draft. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-15 | chore: fine tune WG04.1 paper. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-15 | feat: paper improvements for WG04. (papers) | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-15 | feat: paper improvements. (papers). | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-15 | feat: paper improvements. (papers). | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-15 | feat: papers improvements. (papers). | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-15 | feat: papers improvements. (papers). | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-15 | feat: lemmas papers improvements. (papers). | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-15 | feat: technical note papers improvements. (papers). | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-15 | feat: technical note papers improvements. (papers). | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-15 | feat: technical note papers improvements. (papers). | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-15 | feat: technical note papers improvements and new WIPs. (papers). | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-15 | feat: technical note papers improvements and new WIPs. (papers). | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-15 | feat: technical note papers improvements and new WIPs. (papers). | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-15 | feat: technical note papers improvements and new WIPs. (papers). | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-15 | feat: technical note paper updates. (papers). | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-15 | feat: technical note paper updates. (papers). | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-15 | feat: technical note paper updates. (papers). | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-15 | feat: technical note paper updates. (papers). | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-15 | feat: technical note paper updates. (papers). | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-15 | feat: technical note paper updates. (papers). | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-13 | feat: improve OCaml scripts. (tools), rename drafts to articles (fs). | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-12 | feat: polish wg04 paper. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-10 | chore: update wg04 paper with critical fix. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-10 | feat: add KDevelop project. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-09 | chore: cleanup proofs directory and add makefile header. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-09 | feat: Update 'WG04' paper. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-07 | chore: update paper group. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-07 | chore: add new paper for WG04. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-06 | chore: update wg03 paper. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-06 | chore: update papers with better writing and formalism. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-04 | chore: forgot to cleanup the print statement. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
 |
index : Papers | |
| The Papers and articles compiled by Ne.org developers. | Amlal El Mahrouss |
| summaryrefslogtreecommitdiffhomepage |