/FunctionalProgrammingLean

This repo contains the work book for function programming in lean

Primary LanguageLean

Stargazers

No one’s star this repository yet.