change title of theorem proving section
commit278de0611fd74df703fa178afded3353fe3e4f3b
authorMartin Baker <git87465@martinb.com>
dateWed 8 May 2019, 16:56 (7 years ago)
parentb6fde49
docs/proofs/index.rst+4−4
@@ -1,10 +1,10 @@
11.. _proofs-index:
22
3−###############
4−Theorem Proving
5−###############
3+#########################################
4+Theorem Proving and Elaborator Reflection
5+#########################################
66
7−A tutorial on theorem proving in Idris.
7+A tutorial on theorem proving in Idris.
88
99.. note::
1010