Interchange Perl DBI MySQL
Home Projekte Login Interchange Debian Links AGB Kontakt Wiki  

Stichwortsuche
Paketsuche

Debianpakete
  appconfig
  cgi-extratags-perl
  ciphersaber
  courier
  courier
  courier-authlib
  dbix-easy-perl
  debaux
  interchange
  interchange-doc
  jfsutils
  libmime-lite-html-perl
  libtext-mediawikiformat-perl
  libtie-shadowhash-perl
  pure-ftpd
  pure-ftpd
  safe-hole-perl
  set-crontab-perl

Kunden/Partner
  B&N
  Box of Rain
  COBOLT NetServices
  ecoservice
  Gish Network
  IIP/IR Vienna
  Informa
  L & D Computer
  LinSoft IT
  M & D
  materialboerse.de
  Media Business Software
  Medical Business Solutions
  Net Stores
  NextCall
  RUEB
  Tenalt
  Transfair-Net GmbH
  Ulisses
  WebHostNY.com
  Wegacell
  West Branch Angler
  Wintime IT Solutions

Suchergebnisse für proofgeneral

Entwicklerinformationen
proofgeneral | generic interface for proof assistants - common package | Mehr ...
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
proofgeneral-coq | generic interface for proof assistants - coq support | Mehr ...
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the Proof General support for the Coq
theorem prover which is available as another package. The
package is however not required to just edit Coq files.
proofgeneral-doc | generic interface for proof assistants - documentation | Mehr ...
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the HTML documentation for Proof General.
It was created from the same sources as the info documentation
which is included in the proofgeneral package.
proofgeneral-minlog | generic interface for proof assistants - Minlog support | Mehr ...
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the Proof General support for the Minlog
theorem prover which is available as another package. The
package is however not required to just edit Minlog files.
proofgeneral-misc | generic interface for proof assistants - theorem provers support | Mehr ...
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers. It works with either XEmacs or GNU Emacs.
.
This package provides the Proof General support for several
theorem provers which are not available as packages yet.
Phox, Plastic, Twelf.





 Projekte

 Marktplatz für elektronische Bauelemente
 Mehr erfahren ...

 
 Marktplatz für Musikinstrumente und Zubehör
 Mehr erfahren ...

 
 Foreign Service National Training Database
 Mehr erfahren ...

 
 Reengineering e-procurement System
 Mehr erfahren ...

 
 Systemadministration für Internetagentur
 Mehr erfahren ...