1,550 followers
@danghica @rwolffoot @watislaw For example, this paper. As far as I'm aware, his techniques have no rivals in hardware verification. https://t.co/nCQXYcemjQ
@danghica @rwolffoot @watislaw For example, this paper. As far as I'm aware, his techniques have no rivals in hardware verification. https://t.co/nCQXYcemjQ
@mgrnbrg Have your looked at Meikle and Fleuriot's work in Isabelle? https://t.co/pYr6Cs9Ss1 Also futher work by @momentoftop and Fleuriot
Proving Pearl: Knuth’s Algorithm for Prime Numbers https://t.co/Tkfjpoo21W