40 followers
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Co... https://t.co/obxsVmcSM8 @amazonJPさんから
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Co... https://t.co/obxsVmcSM8 @amazonJPさんから