X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fproposal%2Fcontribution.xml;h=8442270f03b88bde441d7cabcf7f63b6686e32b9;hb=12cb072c7bbb5119f4328f637add61ae2228b8c7;hp=ee54079066edf6ad24cafa78581a973181883fcd;hpb=c1318cbfaa63c439e7de90b3c8aa98f029124b88;p=helm.git diff --git a/helm/mowgli/home/xml/proposal/contribution.xml b/helm/mowgli/home/xml/proposal/contribution.xml index ee5407906..8442270f0 100644 --- a/helm/mowgli/home/xml/proposal/contribution.xml +++ b/helm/mowgli/home/xml/proposal/contribution.xml @@ -7,6 +7,23 @@
+ ![]() |
+ + Index + | +
+ ![]() |
+
The Project contributes to build a user friendly information society, and in particular it meets the following general objectives of this @@ -57,5 +74,22 @@ mathematics: namely a scientific, empirical study on the real structure of mathematical entities, and the ``way of thinking'' of mathematicians.
+ +
+ ![]() |
+ + Index + | +
+ ![]() |
+