From c1228a14cb47e7665368b0c8828543c80a4253dd Mon Sep 17 00:00:00 2001 From: vipul khandelwal Date: Thu, 10 Oct 2019 17:00:04 +0530 Subject: [PATCH] Update README.md --- README.md | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) diff --git a/README.md b/README.md index 83efbf56..8eb11cdd 100644 --- a/README.md +++ b/README.md @@ -74,3 +74,34 @@ To execute tests for the library, install the project dependencies once: Then, the tests can be executed: npm test + * [Foundations of Mathematics](#foundations-of-mathematics) + * [Set Theory](#set-theory) + * [Logic](#logic) + * [Category Theory](#category-theory) + * [Homotopy Type Theory](#homotopy-type-theory) + * [Surreal Numbers](#surreal-numbers) + * [Number Theory](#number-theory) + * [Algebraic Number Theory](#algebraic-number-theory) + * [Analytic Number Theory](#analytic-number-theory) + * [Algebra](#algebra) + * [Abstract Algebra](#abstract-algebra) + * [Group Theory](#group-theory) + * [Linear Algebra](#linear-algebra) + * [Ring Theory](#ring-theory) + * [Galois Theory](#galois-theory) + * [Lie Algebras](#lie-algebras) + * [Combinatorics](#combinatorics) + * [Graph Theory](#graph-theory) + * [Geometry and Topology](#geometry-and-topology) + * [Differential Geometry](#differential-geometry) + * [Algebraic Geometry](#algebraic-geometry) + * [Topology](#topology) + * [Algebraic Topology](#algebraic-topology) + * [Analysis](#analysis) + * [Real Analysis](#real-analysis) + * [Harmonic Analysis](#harmonic-analysis) + * [Complex Analysis](#complex-analysis) + * [Functional Analysis](#functional-analysis) + * [Measure Theory](#measure-theory) + * [Ordinary Differential Equations](#ordinary-differential-equations) + * [Partial Differential Equations](#partial-differential-equations)