Twigonometry / IsabellePractice

Repository for practicing Isabelle with proofs from the examples

Geek Repo

Github PK Tool