A beginner-friendly, open-source introduction to mathematical proofs, with guided examples from competition mathematics. Designed for students transitioning into formal proofs without requiring real analysis.

Open Access publications/notes on Mathematics and Computer Science (https://amlal.nekernel.org)

Codex skill for natural, rigorous OR/MS writing: argument logic, model and proof exposition, reviewer calibration, citation fit, and body/appendix placement.

This repository contains the problem sets completed as part of a discrete math course.

PROMYS Europe mathematics research write-up with computational verification.

This repository contains multiple problem sets regarding Number Theory problems. Some of these problem sets are based on the textbook "Elementary Number Theory" 7th Edition by David M. Burton.