Isabelleが新しい版で ゼロ除算a/0=0を述べている文献を探した。そこで、関係者に関係情報を送った。
|
https://isabelle.in.tum.de/doc/tutorial.pdf
https://isabelle.in.tum.de › doc › tutorial
T Nipkow 著 · 2024 · 被引用数: 6 — order logic (HOL), using the proof assistant Isabelle. It is written ... Since division by zero yields zero, we could allow c to be zero. However, c ..
https://isabelle.in.tum.de/doc/tutorial.pdf