Coinductive Interaction Trees in Lean4 using QPFs - View it on GitHub
Star
12
Rank
1399067