mit-plv/lean4-itree - Gitstar Ranking

Gitstar Ranking

Users
Organizations
Repositories
Rankings

Sign in with GitHub

mit-plv

Fetched on 2026/08/16 06:12

mit-plv / lean4-itree

Coinductive Interaction Trees in Lean4 using QPFs - View it on GitHub

Star

17

Rank

1144255

Released by @k0kubun in December 2014. Fork me on GitHub.