diff options
| author | Théo Zimmermann | 2020-11-05 14:26:30 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-11-05 14:26:30 +0100 |
| commit | 892cb357d89d59dfbb9473885c4e9ec255568ad0 (patch) | |
| tree | 05d42d05ed89ebc5af66f2b9f4a729c98bb30712 /doc | |
| parent | 4130c6707497f7fcec7cc1afc363190ada5f2962 (diff) | |
Improve title of first proof chapter.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/sphinx/proofs/writing-proofs/index.rst | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/sphinx/proofs/writing-proofs/index.rst b/doc/sphinx/proofs/writing-proofs/index.rst index f46d8f8b72..1c7fd050f1 100644 --- a/doc/sphinx/proofs/writing-proofs/index.rst +++ b/doc/sphinx/proofs/writing-proofs/index.rst @@ -1,8 +1,8 @@ .. _writing-proofs: -============== -Writing proofs -============== +=================== +Basic proof writing +=================== |Coq| is an interactive theorem prover, or proof assistant, which means that proofs can be constructed interactively through a dialog between |