Isabelle (proof assistant)
[de] Isabelle (Theorembeweiser)
[es] Isabelle
[fr] Isabelle (logiciel)
[pt] Isabelle
[ru] Isabelle
[zh] Isabelle