vdash: a formal math wiki
Description
excerpt from site's contentvdash a formal math wiki theorem a int dvd b a n dvd b n proof assume a dvd b show a n dvd b n proof induct n show a dvd b proof have a by rule power_0 moreover have dvd b by rule zdvd_1_left ultimately show thesis by simp qed next fix n assume a n dvd b n show a Suc n dvd b Suc n proof from prems have a a n dvd b b n...
Domain Resolution
This domain resolves to the following IP addresses:This is an automatically generated AboutUs page for Vdash.com. Click the "Edit" button at the top of the page to make changes. Please read our Getting Started page if you need any help.
