i-am-logger/pr4xis

refactor: axiom_meta! macro — use typed entities, stop inlining compile-time string literals about 2 hours ago

help wanted

14

Axiomatic intelligence. Doing the right thing, provably.

Rust

#applied-category-theory#artificial-intelligence#automated-reasoning#category-theory#deterministic-ai#explainable-ai#formal-methods#knowledge-graph#knowledge-representation#neuro-symbolic-ai#neurosymbolic#neurosymbolic-ai#ontology#rust#semantic-web#symbolic-ai#theorem-proving#wasm#webassembly#wordnet

cleanup: extract `module_path` from `RelationshipMeta` — Rust-specific, doesn't belong in Lemon shape about 2 hours ago

help wanted

i-am-logger/pr4xis

14

Axiomatic intelligence. Doing the right thing, provably.

Rust

#applied-category-theory#artificial-intelligence#automated-reasoning#category-theory#deterministic-ai#explainable-ai#formal-methods#knowledge-graph#knowledge-representation#neuro-symbolic-ai#neurosymbolic#neurosymbolic-ai#ontology#rust#semantic-web#symbolic-ai#theorem-proving#wasm#webassembly#wordnet

refactor: convert all existing tests to ontological assertions (Axiom.holds() wrappers) about 2 hours ago

good first issue

i-am-logger/pr4xis

14

Axiomatic intelligence. Doing the right thing, provably.

Rust

#applied-category-theory#artificial-intelligence#automated-reasoning#category-theory#deterministic-ai#explainable-ai#formal-methods#knowledge-graph#knowledge-representation#neuro-symbolic-ai#neurosymbolic#neurosymbolic-ai#ontology#rust#semantic-web#symbolic-ai#theorem-proving#wasm#webassembly#wordnet

Open Issues Need Help