hyperpolymath/polyglot-formalisms-elixir

Elixir implementation of the PolyglotFormalisms Common Library — semantic equivalence verification across languages.

语言：Elixir · GitHub 星标：2 · Fork：0

话题：beam · elixir · epistemic-computing · epistemic-infrastructure · equivalence-aware-computing · formal-verification · hyperpolymath · infrastructure-as-code

在 GitHub 上查看原仓库