- <li>
- <p>
- <span class="screenshots">
- <a class="quiet" href="images/screenshot-cicbrowser-browsing.png">
- <img src="images/MINI_screenshot-cicbrowser-browsing.png" alt="Matita screenshot: library browsing" />
- </a>
- <a class="quiet" href="images/screenshot-cicbrowser-query.png">
- <img src="images/MINI_screenshot-cicbrowser-query.png" alt="Matita screenshot: Whelp query" />
- </a>
- <!--
- <a class="quiet" href="images/screenshot-cicbrowser-proof.png">
- <img src="images/MINI_screenshot-cicbrowser-proof.png" alt="Matita screenshot: proof rendering" />
- </a>
- -->
- </span>
- the knowledge base is distributed: every authored concepts can be
- published becoming part of the Matita library which can be <a
- href="http://helm.cs.unibo.it/browse/">browsed as an hypertext</a>
- (locally or on the World Wide Web) and <a
- href="http://helm.cs.unibo.it/whelp/"> searched by means of
- content-based queries</a>; </p>
- </li>
+ <p>It embeds key computational constructs of functional programming languages:
+ functions can be defined by (well-founded) recursion, and are live entities that can be
+ tested and executed.</p>