Untitled
functional programming in lean exercises
rad:zqTc4F3kR1PyLdPnTvDPQygewTMX
Visibility
public
Delegates
did:key:z6MkoEuvjH5KswFZGUfqcDE2TXwqw9oK1ANDsa5597cgVeS5
Default branch
main → 99866d72469f190e82a0b80853133799d4a4cd10 (Sat Mar 28 14:32:56 2026)
Threshold
1
README.md
# Untitled