jonaprieto/athena

Translates Metis ATP proofs to the Agda code

语言：TeX · GitHub 星标：8 · Fork：2

话题：agda · haskell · llm-assisted · proof-assistant · theorem-proving · type-theory

在 GitHub 上查看原仓库