search

advancedresearch / joker_calculus

An implementation of Joker Calculus in Rust
MIT License
5 stars 2 forks source link

Check distribution rule in sequences #67

Open bvssvni opened 9 months ago

bvssvni commented 9 months ago

The Joker Calculus paper mentions the following:

Screenshot 2023-10-12 at 13 16 38

I want to check whether this holds in general now.