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

1 pointsposted 12 hours ago
by MADEinPARIS
(github.com)

No comments yet