phi-calculus

Here are 5 public repositories matching this topic...

Command-Line Normalizer, Rewriter, and Dataizer of 𝜑-Calculus Expressions

Proof of 𝜑-calculus confluence in Lean4

calculus proof eolang lean4 phi-calculus

Phi-driven multi-agent synthesis simulation with real-time drift detection, truth scoring, and harmonic state monitoring

Experimental repo

eo phi-calculus

[⚠️WIP] Functional and concurrent programming principles lecture notes

To associate your repository with the phi-calculus topic, visit your repo's landing page and select "manage topics."