bn:00857498n
Noun Named Entity
Categories: Programas de computador
PT
Isabelle
PT
Isabelle é um programa de computador utilizado para processar fórmulas matemáticas. Wikipedia
English:
theorem prover
proof assistant
Definitions
Relations
Sources
PT
Isabelle é um programa de computador utilizado para processar fórmulas matemáticas. Wikipedia
Wikipedia
Wikidata