From d1d58f7193d9ebb910126572505c9b5c8688ad1b Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 7 Dec 2021 10:58:22 +0100 Subject: [PATCH] link to snippets (fix #140) --- tex/ch0.tex | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tex/ch0.tex b/tex/ch0.tex index 78c0818..622c375 100644 --- a/tex/ch0.tex +++ b/tex/ch0.tex @@ -206,7 +206,9 @@ \subsection*{Running examples in the \Coq{} system} popular \texttt{Emacs} programming editor (known as \texttt{Proof General}) and for the \texttt{Visual Studio Code} programming environment (known as \texttt{vscoq}). These extensions and similar projects can easily -be found by a search on the Internet. +be found by a search on the Internet. Last, but not least, you can run \Coq{} +inside a web browser: the code snippets presented in this book can be found +at \url{https://math-comp.github.io/mcb/snippets/}. When starting a \Coq{} session, a few commands must be sent to the \Coq{} system to tell it to load the \mcbMC{} library and to configure its behavior