bn:00857498n
Noun Named Entity
JA
No term available
EN
The Isabelle automated theorem prover is a higher-order logic theorem prover, written in Standard ML and Scala. Wikipedia
English:
theorem prover
proof assistant
Relations
Sources