Learning-Real-Analysis

Notes, proofs, Nurbs, and Lean

Name		Name	Last commit message	Last commit date
Latest commit History 458 Commits
.codex-remote-attachments		.codex-remote-attachments
.github		.github
bibliography		bibliography
docker		docker
docs/governance/repo-overlays		docs/governance/repo-overlays
images		images
lean		lean
lra-anki		lra-anki
nurbs_dde		nurbs_dde
ontology		ontology
rules		rules
scripts		scripts
theorem-explorer		theorem-explorer
volume-i		volume-i
volume-ii		volume-ii
volume-iii		volume-iii
volume-iv		volume-iv
volume-v		volume-v
volume-vi		volume-vi
volume-vii		volume-vii
volume-viii		volume-viii
.gitignore		.gitignore
.latexmkrc		.latexmkrc
AGENTS.md		AGENTS.md
BACKLOG.md		BACKLOG.md
CLAUDE.md		CLAUDE.md
Capstone.md		Capstone.md
DESIGN.md		DESIGN.md
GEMINI.md		GEMINI.md
LICENSE		LICENSE
README.md		README.md
REPOSITORY_STRUCTURE.md		REPOSITORY_STRUCTURE.md
ToDo.md		ToDo.md
curriculum.html		curriculum.html
front-matter-diagnostic.tex		front-matter-diagnostic.tex
front-matter.tex		front-matter.tex
frontmatter.pdf		frontmatter.pdf
main.tex		main.tex
math_study_schedule.html		math_study_schedule.html
notation.yaml		notation.yaml
nurbs_dde_code_review.md		nurbs_dde_code_review.md
nurbs_dde_particle_recommendations.md		nurbs_dde_particle_recommendations.md
predicates.yaml		predicates.yaml
proofs-to-do-debug.md		proofs-to-do-debug.md
proofs-to-do.md		proofs-to-do.md
relations.yaml		relations.yaml
volume-i-main.tex		volume-i-main.tex
volume-ii-main.tex		volume-ii-main.tex
volume-iii-main.tex		volume-iii-main.tex
volume-iv-main.tex		volume-iv-main.tex
volume-v-main.tex		volume-v-main.tex
volume-vi-main.tex		volume-vi-main.tex
volume-vii-main.tex		volume-vii-main.tex
volume-viii-main.tex		volume-viii-main.tex

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

Learning-Real-Analysis

About

Releases

Packages

Used by

Contributors

Languages

Folders and files

Latest commit

History

Repository files navigation

Learning-Real-Analysis

About

Topics

Resources

Stars

Watchers

Forks

Releases

Packages

Used by

Contributors

Languages