Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. Coq4Eclipse

Coq4Eclipse

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 3.0/5 - ‎1 ‎Votos
Descargar

Coq4Eclipse es un plugin para Eclipse Platform que proporciona una interfaz al Coq Proof Assistant. Apoyará al usuario con resaltado de sintaxis, facilidades de búsqueda, símbolos matemáticos, bonita impresión, etc.

historial de versiones

  • Versión N/A publicado en 2011-08-07
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2011-08-07

Detalles del programa

Programas relacionados

  • Zinuc Gratis

    ¿Siempre estás cansado de buscar en la calculadora de Windows desde alguna ubicación extraña de tu PC? Zinuc es una calculadora web única, muy simple, pero potente. No tienes que descargar nada para usarlo. Echa un vistazo a

  • RouteCalc Gratis

    Calculadora de la ruta de línea de comandos para aviación. Entradas: Velocidad de crucero, quema de combustible, dirección/velocidad del viento, distancia del segmento. Salidas: Rodamientos de vuelo, Velocidad del suelo, Tiem

  • Auditory Modelling Toolbox Gratis

    La caja de herramientas de modelado auditivo es un esfuerzo de la comunidad para construir una caja de herramientas simple y bien probada para hacer modelado auditivo en Matlab, Octave y C.

  • sigTOOL Gratis

    sigTOOL proporciona un entorno de análisis de señal extensible por el usuario para procesar datos electrofisiológicos dentro de MATLAB. Los análisis de picos de neuronas, + espectrales y de dominio del tiempo están integrados

  • Periodic Table Droid Prueba gratuita

    La tabla periódica de elementos más completa y personalizable disponible para tu Android.Las características principales son:• 118 elementos• Búsqueda instantánea!: Encuentra elementos por nombre, símbolo o

  • A Hyperspectral Image Reader Gratis

    Este es el código de C++ para leer en ENVI Hyperspectral Images

  • Louisiana Criminal Law Gratis

    Título 14 de los Estatutos Revisados de Louisiana, Derecho Penal, para DroidLaw!Título 14 de los Estatutos Revisados de Louisiana, Derecho Penal, para DroidLaw.ESTE ES UN COMPLEMENTO PARA DROIDLAW. PUEDE' T ABRI

  • GMAT Maths Preview Gratis

    ¿Quieres aumentar tus posibilidades de éxito en GMAT o GRE? Entonces esta es una aplicación perfecta para usted. Esta aplicación le enseña consejos prácticos para realizar cálculos matemáticos más rápido. Podrás múltiples 97

  • Quran Indonesia mp3+trnslation Gratis

    Escuche el Sagrado Corán completo en la traducción indonesia. Nuestra aplicación reproducir archivos de audio en uno de sus recitador favorito1. Le permite descargar el Corán completo o puede descargar un solo archivo individ

  • ProteinFinder database search method Gratis

    ProteinFinder - un motor de computación paralela del lenguaje C para la búsqueda de la base de datos de espectrometría de masas de proteínas en tándem. ProteinFinder se interconecta con la base de datos relacional MySQL Mass