LeaTTa: a machine-checked operational semantics and metatheory of MeTTa in Lean 4, with a Verso book.
-
Updated
Jun 22, 2026 - Lean
#
metta-lang
Here are 4 public repositories matching this topic...
Deontic Task Orchestrator for OmegaClaw. Has defeasible event calculus, deontic and temporal reasoning, and agent verifiable work system
prolog orchestration metta deontic-logic llm llm-inference llm-tools agentic-workflow omegaclaw metta-lang
-
Updated
Jun 20, 2026 - MeTTa
OpenCog Hyperon MeTTa — 7 guided demos of the MeTTa language (successor to OpenCog Atomese). Taxonomy, combinators, types, reasoning, state, spaces, grounded functions. Built on hyperon-experimental.
python rust demo tutorial agi knowledge-graph metta opencog neuro-symbolic atomspace hyperon metta-lang
-
Updated
Jun 24, 2026 - Shell
Improve this page
Add a description, image, and links to the metta-lang topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the metta-lang topic, visit your repo's landing page and select "manage topics."