Isabelle

Translation of "isabelle" into Russian

Proper noun

Isabelle

Isabelles

Used primarily as a female given name; also the name of a theorem-proving software. Treated as a proper noun.

женское имя

Isabelle always signed her paintings with just her first name.

Изабель всегда подписывала свои картины только своим именем.

Additional translations

Isabelle

программа: интерактивный доказатель теорем

Proper noun

A female given name, occasionally used by English speakers; a variant of Isabel.

Isabelle always signed her paintings with just her first name.

(computing) An interactive theorem prover based on higher-order logic.

The proof was formalised in Isabelle before publication.