Skip to content

Commit

Permalink
Merge pull request #143 from math-comp/link-to-snippets
Browse files Browse the repository at this point in the history
link to snippets (fix #140)
  • Loading branch information
gares authored Dec 7, 2021
2 parents 02581e7 + d1d58f7 commit 75285ed
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion tex/ch0.tex
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 75285ed

Please sign in to comment.