/formalizations

This repository collects project-relevant Isabelle/HOL formalizations.

Primary LanguageIsabelle

Watchers