EN PT English Portuguese translations for Isabelle theorem prover
Search term Isabelle theorem prover has one result
Jump to
| EN | English | PT | Portuguese | |
|---|---|---|---|---|
| Isabelle theorem prover | Isabel (proper) |
EN PT Translations for isabelle
EN PT Translations for theorem
| theorem (n v) [mathematical statement that is expected to be true] | conjectura (n v) {f} [mathematical statement that is expected to be true] | |||
| theorem (n) [mathematics - physics] | teorema (n) {f} [mathematics - physics] |