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
  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

 Systemadministration für Internetagentur
 Mehr erfahren ...

 
 Reengineering e-procurement System
 Mehr erfahren ...

 
 Marktplatz für elektronische Bauelemente
 Mehr erfahren ...

 
 Foreign Service National Training Database
 Mehr erfahren ...

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