Isabelle theorem prover tem 14 traduções em 11 línguas

traduções de Isabelle theorem prover

EN ES Espanhol 1 tradução
EN FR Francês 1 tradução
EN IT Italiano 1 tradução
EN DE Alemão 1 tradução
EN NL Holandês 2 traduções
EN SV Sueco 1 tradução
EN PL Polonês 2 traduções
EN DA Dinamarquês 1 tradução
EN HU Húngaro 2 traduções
EN RU Russo 1 tradução