Popular repositories Loading

1. IsaScheme IsaScheme Public

   IsaScheme is an automatic theory exploration system that uses state of the art technologies to perform theory formation on the popular theorem prover Isabelle

   Standard ML

2. Sensores Sensores Public

   Aplicación para la lectura de mediciones médicas con el equipo de Freescale usando Unity.

   C#

3. IsaLibs IsaLibs Public

   Automated Reasoning Libraries for Isabelle

   HTML

4. RCN RCN Public

   F#

5. GP GP Public

   F#

6. Intranet Intranet Public

   F# 1