Update README.md

mattam82 · Sep 2, 2024 · 56b6675 · 56b6675
1 parent eb5cc98
commit 56b6675
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -33,11 +33,13 @@ definitions are axiom-free.
 - [Installation](#installation)
 - [HoTT Variant](#hott-variant)
 
-## Documentation
+## Learning Equations
 
 - You can discover and learn Equations through [interactive tutorials](https://coq.inria.fr/platform-docs/) 
   directly in your browser, or locally with Equations installed.
 
+## Documentation
+
 - The [reference manual](http://github.com/mattam82/Coq-Equations/raw/main/doc/equations.pdf)
   provides a summary of the commands and options, and a brief introduction.
   This introduction can also be followed interactively with Equations installed,