https://github.com/luickk/cs-mathinlean

My CS Math exercise in the LeanProver lang.
https://github.com/luickk/cs-mathinlean

lean4

Last synced: about 10 hours ago
JSON representation

My CS Math exercise in the LeanProver lang.

• Host: GitHub
• URL: https://github.com/luickk/cs-mathinlean
• Owner: luickk
• Created: 2023-10-06T10:10:44.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2023-10-06T10:23:23.000Z (about 1 year ago)
• Last Synced: 2023-10-06T11:30:44.064Z (about 1 year ago)
• Topics: lean4
• Language: Lean
• Homepage:
• Size: 23.1 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project