▲ 3 pointsFunctional Programming in Leanleanprover.github.ioby gurjeet·3mo ago·0 comments·view on hn ↗