Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Pierre Letouzey
prog-lmfi
Commits
83f91110
Commit
83f91110
authored
Oct 30, 2019
by
Pierre Letouzey
Browse files
maj lien jsCoq
parent
5b71def4
Changes
2
Hide whitespace changes
Inline
Side-by-side
seance1.md
View file @
83f91110
...
@@ -9,7 +9,8 @@ Il y a plusieurs manières d'utiliser Coq:
...
@@ -9,7 +9,8 @@ Il y a plusieurs manières d'utiliser Coq:
*
via
`coqide`
, une interface graphique basée sur
`gtk`
*
via
`coqide`
, une interface graphique basée sur
`gtk`
*
via
`proofgeneral`
, qui est un mode pour
`emacs`
*
via
`proofgeneral`
, qui est un mode pour
`emacs`
*
directement dans son navigateur en utilisant
`jsCoq`
, voir p.ex. https://x80.org/collacoq/
*
directement dans son navigateur en utilisant
`jsCoq`
, p.ex. https://jscoq.github.io/node_modules/jscoq/examples/scratchpad.html
(voir https://github.com/ejgallego/jscoq pour le mode d'emploi)
*
ou éventuellement en lançant
`coqtop`
, une boucle d'interaction textuelle assez frustre à la
`ocaml`
*
ou éventuellement en lançant
`coqtop`
, une boucle d'interaction textuelle assez frustre à la
`ocaml`
Chaque méthode a ses aficionados (même la dernière...).
Chaque méthode a ses aficionados (même la dernière...).
...
...
td1.md
View file @
83f91110
...
@@ -9,7 +9,8 @@ Il y a plusieurs manières d'utiliser Coq:
...
@@ -9,7 +9,8 @@ Il y a plusieurs manières d'utiliser Coq:
*
via
`coqide`
, une interface graphique basée sur
`gtk`
*
via
`coqide`
, une interface graphique basée sur
`gtk`
*
via
`proofgeneral`
, qui est un mode pour
`emacs`
*
via
`proofgeneral`
, qui est un mode pour
`emacs`
*
directement dans son navigateur en utilisant
`jsCoq`
, voir p.ex. https://x80.org/collacoq/
*
directement dans son navigateur en utilisant
`jsCoq`
, p.ex. https://jscoq.github.io/node_modules/jscoq/examples/scratchpad.html
(voir https://github.com/ejgallego/jscoq pour le mode d'emploi)
*
ou éventuellement en lançant
`coqtop`
, une boucle d'interaction textuelle assez frustre à la
`ocaml`
*
ou éventuellement en lançant
`coqtop`
, une boucle d'interaction textuelle assez frustre à la
`ocaml`
Chaque méthode a ses aficionados (même la dernière...).
Chaque méthode a ses aficionados (même la dernière...).
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment