A formalisation of Sturm's theorem in Isabelle with an executable decision procedure
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool