Show HN: Containers for Lean 4 (polynomial functors, with M-types)

 (github.com)

1 points | by MADEinPARIS 6 hours ago

0 comments