758 followers
RT @larsr_h: Our paper "A Verified Compiler from Isabelle/HOL to CakeML" is now available online with Open Access: https://t.co/b822xdb3VD
RT @larsr_h: Our paper "A Verified Compiler from Isabelle/HOL to CakeML" is now available online with Open Access: https://t.co/b822xdb3VD
RT @larsr_h: Our paper "A Verified Compiler from Isabelle/HOL to CakeML" is now available online with Open Access: https://t.co/b822xdb3VD
RT @larsr_h: Our paper "A Verified Compiler from Isabelle/HOL to CakeML" is now available online with Open Access: https://t.co/b822xdb3VD
RT @larsr_h: Our paper "A Verified Compiler from Isabelle/HOL to CakeML" is now available online with Open Access: https://t.co/b822xdb3VD