Propaganda
Molle.
Prova de plataforma cruzada de código aberto para lógica modal ...
Provar
Um cliente Growl para dispositivos executando o iPhone OS (o iPhone e o iPod Touch) ...
Iphone notificação Rosnar Notificação do iPhone Growl do iPhones.
Janela de funil
propósito da janela funil é provar as habilidades do mecanismo gráfico do Mac OS X ...
Cert Viewer Plus para Thunderbird
um complemento do Thunderbird que os aprimoramentos do visualizador de certificados ...
exposição verificar provar Mostrar certificado Viewer de certificados
Princesa
Um provador livre do teorema para a aritmética do presburger ...
teorema provar Prover de Teorema Prove Teorema Presburger aritmética
Atp.
Um provador de teorema automatizado modular interativo ...