• Systemy komputerowego wspomagania dowodzenia twierdzeń
  • Logical Frameworks
  • LEGO
  • Coq
  • Mizar
  • Isabelle
  • PVS
  • HOL
  • ACL2
  • KIV
  • Larch
  • Gandalf, Alfa (kiedyś ALF)
  • Otter
  • IMPS
  • Nqthm, the Boyer-Moore prover
  • NuPrl
  • PhoX
  • Twelf
  • Systemy wspomagania w Netscape Directory
• Sieci komputerowe
• WWW
• Rachunek lambda i funkcyjne języki programowania

Ostatnia modyfikacja: 13.01.2005