/lean-rsk

RSK bijection in Lean

Primary LanguageLean

No issues in this repository yet.