Propaganda
Emnu, novo menu para KDE (prova de conceito)
EMNU, novo menu para KDE (prova do conceito) é uma prova de conceito que terminei em Akademy. ...
KDE. cardápio menu Iniciar Menu KDE menu de barra de tarefas
Poe :: filter :: à prova de erros
Poe :: Filter :: Errorproof é um poe :: filtro wrapper em torno de filtros 'perigosos'. ...
Hol
HOL é um ambiente de programação no qual os teoremas podem ser provados e ferramentas de prova implementadas. ...
Ambiente de programação automatizado Sistema de prova Teoremas Solver Hol
Isabelle.
Isabelle é um prover de teorema genérico popular desenvolvido na Universidade de Cambridge e Tu Munique. ...
assistente prova Prover de Teorema Fórmulas matemáticas Prova Assistant.
Coq.
Um sistema formal de gerenciamento de prova ...
gestão cálculo prova Prova Assistant. gerenciamento de prova