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

Coqtail

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

Coq Teoremy, Abstrakcje i Implementacje (bachelor Level) Coqtail jest biblioteka dowodów matematycznych za pomocą asystenta coq dowód.

historia wersji

  • Wersja files opublikowany na 2010-04-07
    Kilka poprawek i aktualizacji
  • Wersja N/A opublikowany na 2010-04-07

Szczegóły programu

Programy pokrewne

  • Triplets / Triple Wolna

    Ce logiciel recherche tous les trojaczki pythagoriciens que l'on peut były avec un nombre allant de 1 99999999. / To oprogramowanie szuka wszystkich pythagorean potrójne, które możemy utworzyć z numerem będzie od 1 do 9999999

  • FunnyRobot Platform Wolna

    Projekt FunnyRobot projektuje kontroler robota edukacyjnego, który można programować przez USB. Zarówno sprzęt, jak i oprogramowanie są konfigurowalne i rozszerzalne. Użytkownicy mogą tworzyć programy z biblioteką języka C++

  • Merriam-Webster s Unabridged Bezpłatna wersja próbna

    Merriam-Webster's Third New International Dictionary, Unabridged - najbardziej wszechstronny słownik Ameryki.------------Szczegóły słownika:• Ponad 257 244 wpisów i 700 000 definicji• 143 000 etymologi o

  • Madagascar Wolna

    Madagaskar to pakiet oprogramowania do geofizycznego przetwarzania danych i powtarzalnych eksperymentów liczbowych. Misją pakietu jest zapewnienie wygodnego środowiska dla naukowców pracujących z cyfrowym obrazem i przetwarza

  • Parable NKJV Wolna

    FREE: Cała Ewangelia Jana (2 godziny, 14 minut) z Lou Gossett, Jr jako John. W każdej chwili możesz kupić pełny dźwięk do Przypowiedy NKJV Stary i Nowy Testament lub można kupić książki indywidualnie. Przypowiedna NKJV jest s

  • LibreEngineering Wolna

    LibreEngineering - zestaw oprzyrządowania, elektryczne, mechaniczne, obliczenia inżynierii procesowej i programów projektowych i innych narzędzi. Licencja na GPL3. Napisane w Pythonie z zestawem narzędzi Qt.

  • AVR Attiny26 Visual Programmer Wolna

    Visual GUI programmer for Attiny26 microcontroller for outputting assembly, assembling into ssechedecimal and uploading to hardware with an intuitive interface (Tekbots-OSU).

  • GRE Mnemonics Wordlist Lite Wolna

    -------------------Uprzejmie wypełnić tę ankietę, aby pomóc nam poprawić tę aplikację.http://goo.gl/xwyyCX-------------------Doskonała aplikacja do budowania vocab do przygotowania GRE, CAT, PSAT, SAT, LSAT, GED, E

  • Asmaul Husna Wolna

    99 Imion Bożych lub 99 Imion Allaha są imiona Boże, przez które muzułmanie uważają Boga (Allaha) i które są opisane w Koranu, i Sunnah, wśród innych miejsc.

  • Doxygen filters Wolna

    Filtry Doxygen dla tych języków programowania: R z GNU, q z kx.com, MatLab z MathWorks. Programy te są implementowane w języku C++ przy użyciu flex++. Zapewniają one pełne źródła wbudowane, a nie tylko definicje funkcji.