Skip to content

Translate function bodies to Isabelle/HOL #7795

Translate function bodies to Isabelle/HOL

Translate function bodies to Isabelle/HOL #7795

ormolu

succeeded Jul 12, 2024 in 25s