/solers-theorem

A formalisation of Solèr's theorem using the Isabelle proof assistant

Primary LanguageIsabelle

Watchers