Giters

pruvisto / sturm

A formalisation of Sturm's theorem in Isabelle with an executable decision procedure

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

sturm

A formalisation of Sturm's theorem in Isabelle with an executable decision procedure

About

A formalisation of Sturm's theorem in Isabelle with an executable decision procedure

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Isabelle 68.8%Language:TeX 20.0%Language:Standard ML 11.0%Language:Shell 0.2%