Command-Line Normalizer, Rewriter, and Dataizer of 𝜑-Calculus Expressions
-
Updated
Oct 9, 2026 - Haskell
#
phi-calculus
Here are 5 public repositories matching this topic...
Automated proof of 𝜑-calculus confluence, written in Lean4
-
Updated
Oct 5, 2026 - Lean
Experimental phi-driven multi-agent synthesis simulation with drift detection and harmonic state monitoring. Scoring does not establish detector validity.
-
Updated
Sep 11, 2026 - TypeScript
[
-
Updated
Oct 15, 2024 - Erlang
Add this topic to your repo
To associate your repository with the phi-calculus topic, visit your repo's landing page and select "manage topics."