Showing 1-4 of 4 packages
Comprehensive MCP server with 34 reasoning modes (30 accessible via 13 focused tools) including historical reasoning, academic research (synthesis, argumentation, critique, analysis), engineering/algorithmic (CLRS), meta-reasoning for strategic oversight,
The Turing Machine behind Grumle
Monoid as type system and programming with [interaction nets](https://en.wikipedia.org/wiki/Interaction_nets).
The Ackermann function A(m,n)