Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/shumbo/fp-in-lean
https://github.com/shumbo/fp-in-lean
Last synced: 17 days ago
JSON representation
- Host: GitHub
- URL: https://github.com/shumbo/fp-in-lean
- Owner: shumbo
- Created: 2024-02-03T07:01:04.000Z (12 months ago)
- Default Branch: main
- Last Pushed: 2024-02-08T04:30:31.000Z (12 months ago)
- Last Synced: 2024-04-22T13:20:45.086Z (9 months ago)
- Language: Lean
- Size: 14.6 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
https://lean-lang.org/functional_programming_in_lean/