Commit af1972c9 authored by Raphaël Cauderlier's avatar Raphaël Cauderlier
Browse files

Link to source code

parent 42e2595c
......@@ -10,3 +10,4 @@ _build/
test.dk
test.v
sigmaid
README.html
......@@ -45,6 +45,15 @@ knowledge of the CeCILL-B license and that you accept its terms.
Sigmaid produces files for Dedukti and Coq.
** Source code
Sigmaid source code is available on line:
- using git
#+BEGIN_SRC sh
git clone https://gforge.inria.fr/git/sigmaid/sigmaid.git
#+END_SRC
- [[http://sigmaid.gforge.inria.fr/sigmaid.tgz][as a tarball]]
** Compilation
To compile, simply invoke
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment