Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. Coq4Eclipse
  5. Download

Coq4Eclipse

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 3.0/5 - ‎1 ‎Głosów

O Coq4Eclipse

Coq4Eclipse to wtyczka dla platformy Eclipse, która zapewnia interfejs do Coq Proof Assistant. Będzie wspierać użytkownika z podświetlaniem składni, wyszukiwarkami, symbolami matematycznymi, ładnym nadrukiem itp.

Programy pokrewne

  • Zinuc Wolna

    Czy zawsze jesteś zmęczony wyszukiwaniem kalkulatora systemu Windows z jakiejś dziwnej lokalizacji z komputera? Zinuc to tylko internetowy, bardzo prosty, ale potężny kalkulator. Nie musisz niczego pobierać, aby z niego korzy

  • RouteCalc Wolna

    Kalkulator trasy linii poleceń dla lotnictwa. Wejścia: Prędkość rejsu, Spalanie paliwa, Kierunek/Prędkość wiatru, Odległość segmentu. Wyjścia: Łożysko lotu, prędkość nachylenia, czas segmentu, spalanie paliwa. Zajmuje się wie

  • Auditory Modelling Toolbox Wolna

    Narzędzie do modelowania słuchowego to wysiłek społeczności, aby zbudować prosty i dobrze przetestowany zestaw narzędzi do modelowania słuchowego w Matlab, Octave i C.

  • sigTOOL Wolna

    sigTOOL zapewnia możliwość wysuwanej przez użytkownika analizy sygnału do przetwarzania danych elektrofizjologicznych w ramach MATLAB. Neuron spike-train, + widmowe i analizy domeny czasu są wbudowane. Zobacz http://dx.doi.or

  • Periodic Table Droid Bezpłatna wersja próbna

    Najbardziej kompletny, konfigurowalny, Chemia Okresowy Układ Elementów dostępne dla Androida.Główne cechy to:• 118 elementów• Natychmiastowe wyszukiwanie!: Znajdź elementy według nazwy, symbolu lub numeru.

  • A Hyperspectral Image Reader Wolna

    Jest to kod C++ do odczytu w obrazach hiperspektralnych ENVI

  • Louisiana Criminal Law Wolna

    Tytuł 14 Louisiana Poprawione Statuty, Prawo karne, dla DroidLaw!Tytuł 14 Ustawy o Zmianie Stanu Luizjana, Prawo karne, dla DroidLaw.JEST TO DODATEK DO DROIDLAW. MOŻESZ ' T OTWÓRZ TĘ APLIKACJĘ. MUSISZ MIEĆ ZAIN

  • GMAT Maths Preview Wolna

    Chcesz zwiększyć swoją szansę na sukces w GMAT lub GRE? Następnie jest to idealna aplikacja dla Ciebie. Ta aplikacja uczy praktycznych wskazówek, aby wykonać obliczenia matematyczne szybciej. Będziesz mógł wielokrotność 97 i

  • Quran Indonesia mp3+trnslation Wolna

    Posłuchaj pełnego świętego Koranu w tłumaczeniu indonezyjskim. Nasza aplikacja odtwarza pliki audio w jednym z twoich ulubionych recciter1. Umożliwia pobranie pełnego Koranu lub pobranie pojedynczego pliku pojedynczo za jedny

  • ProteinFinder database search method Wolna

    ProteinFinder - równoległy silnik obliczeniowy języka C do wyszukiwania bazy danych spektrometrii masowej białka tandemowego. ProteinFinder jest smątą z relacyjnej bazy danych MySQL MassSpec, która obsługuje dane eksperyment