search

leanprover-community / lean4-samples

Code samples for Lean 4
Apache License 2.0
67 stars 22 forks source link

Fun with Functors. #7

Closed lovettchris closed 1 year ago