/lean-rsk

RSK bijection in Lean

Primary LanguageLean

This repository is not active