blob: 8cbd1b55c5506b9ea719015c33fc85bea6821da0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
THE MATHEMATICAL COMPONENTS LIBRARY
------------------------------------------
DOCUMENTATION
=============
The documentation of the ssreflect tactics, a brief
description of the mathematical components libraries
and a detailed list of the changes made in the releases
is available as an Inria Research Report at
http://hal.inria.fr/inria-00258384
AVAILABILITY
============
Ssreflect and the Mathematical Components library are available at:
http://ssr.msr-inria.inria.fr/
THE DISCUSSION LIST
===================
The ssreflect list (ssreflect@msr-inria.inria.fr) is meant to be
a standard way to discuss about the ssreflect extension and the
mathematical components library.
To subscribe visit: https://sympa.inria.fr/sympa/info/ssreflect
LICENSING
=========
This program is free software; you can redistribute it and/or modify
it under the terms of the CeCILL B FREE SOFTWARE LICENSE.
You should have received a copy of the CeCILL B License with this
Kit, in the file named "CeCILL-B".
If not, visit http://www.cecill.info
|
