TwoWay
TwoWay
Needs functions from:
~/Dropbox (Wolfram)/Physics/CodeDevelopment/FunctionRepositorySources/NOT-READY/TwoWayMultiReplace.nb
https://www.dropbox.com/s/vgvbkhs2vqnzrd8/TwoWayMultiReplace.nb?dl=0
~/Dropbox (Wolfram)/Physics/CodeDevelopment/FunctionRepositorySources/NOT-READY/TwoWayMultiReplace.nb
https://www.dropbox.com/s/vgvbkhs2vqnzrd8/TwoWayMultiReplace.nb?dl=0
Causal Graphs
Causal Graphs
TokenEventGraph
TokenEventGraph
Highlighting
Highlighting
Event Branchial Graph
Event Branchial Graph
FindPositions
FindPositions
MultiReplace
MultiReplace
tracedReplaceAll
tracedReplaceAll
MultiwayCombinator
MultiwayCombinator
Cosubstitution
Cosubstitution
Combinators
Combinators
MetaMath
MetaMath
Needs functions from:
~/Dropbox (Wolfram)/Physics/CodeDevelopment/FunctionRepositorySources/NOT-READY/MetaMathProof.nb
https://www.dropbox.com/s/qhppx7d4youv6tu/MetaMathProof.nb?dl=0
~/Dropbox (Wolfram)/Physics/CodeDevelopment/FunctionRepositorySources/NOT-READY/MetaMathProof.nb
https://www.dropbox.com/s/qhppx7d4youv6tu/MetaMathProof.nb?dl=0
MetaMathProof
MetaMathProof