elixir-vibe/theoria

Elixir-native proof and specification kernel inspired by Lean's trusted-kernel architecture.

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

在 GitHub 上查看原仓库