https://github.com/dadhi/sample1

https://github.com/dadhi/sample1

Last synced: 5 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/dadhi/sample1
• Owner: dadhi
• License: mit
• Created: 2025-02-07T16:33:43.000Z (8 months ago)
• Default Branch: main
• Last Pushed: 2025-02-11T10:38:29.000Z (8 months ago)
• Last Synced: 2025-05-04T16:14:41.622Z (5 months ago)
• Language: Lean
• Size: 5.86 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Learning Learning

- [] Going through https://lean-lang.org/functional_programming_in_lean/getting-to-know/conveniences.html