🔄 Resolutive Coinduction Explorer
Guard Slider · Contextual Search · Similarity Search · Bisimulation · OEIS Corpus
📝 Stream Sources
📚 Example
▶ Run
🗑 Clear
Natural numbers
Fibonacci
Powers of 2
Factorials
Triangular
Squares
Primes
Nonnegative
🔢 Fetch
🎵 Waveform Studio
Guard level affects productivity scoring
🔒
⚖️
🌀
🔓
Select stream to visualize
▶
⏸
↺
0
🔍 Bisimulation
Left Stream
Right Stream
🔗 Compare
🔍 Inference Engine
⚡ Search
🔗 Bisimilar Pairs
📊 Similarity Search (NEW)
🛡️ Well-Guarded Streams
⚠️ Divergent Pairs
🏷️ Classify All
Select target sequence to find similar ones
A000027 - Natural numbers
A000045 - Fibonacci
A000079 - Powers of 2
A000142 - Factorials
A000217 - Triangular
A000290 - Squares
A000040 - Primes
A000034 - Periodic 1,2
🔍 Context
📂 Domain Filters
🌿 Nature
💻 Tech
🏛️ Society
🎨 Art