https://github.com/seasawher/fp-lean

Functional Programming in Lean のソースコードのクローン
https://github.com/seasawher/fp-lean

lean lean4

Last synced: about 1 month ago
JSON representation

Functional Programming in Lean のソースコードのクローン

• Host: GitHub
• URL: https://github.com/seasawher/fp-lean
• Owner: Seasawher
• License: other
• Created: 2023-08-26T14:11:12.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2023-09-11T12:01:45.000Z (almost 3 years ago)
• Last Synced: 2025-09-23T13:43:38.297Z (9 months ago)
• Topics: lean, lean4
• Language: JavaScript
• Homepage:
• Size: 931 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project