Morph MORPH
SIGN IN SIGN UP
dhruvhead / Archon UNCLAIMED
0 0 0 Python
3 branches 4 tags
ai-agents automation claude claude-code codex dag formal-methods lean lean4 mathematics proof-assistant theorem-proving
Axel Delaval Merge pull request #42 from AxelDlv00/dev/v0.3.3
3fe2618 · · 72 Commits
docs
src
tests
.gitignore
install.sh
LICENSE
MANIFEST.in
pyproject.toml
README.md
THIRD_PARTY_NOTICES.md