3,528 followers
A verified implementation of algebraic numbers in Isabelle/HOL. ~ S.J.C. Joosten, R. Thiemann, A. Yamada. https://t.co/ttC2hF9fUl #ITP #IsabelleHOL #Haskell #Math
A verified implementation of algebraic numbers in Isabelle/HOL. ~ S.J.C. Joosten, R. Thiemann, A. Yamada. https://t.co/ttC2hF9fUl #ITP #IsabelleHOL #Haskell #Math