https://github.com/GaloisInc/lean4-balance-car

Lean4 port of Arduino balance car controller
https://github.com/GaloisInc/lean4-balance-car

lean4

Last synced: 2 months ago
JSON representation

Lean4 port of Arduino balance car controller

• Host: GitHub
• URL: https://github.com/GaloisInc/lean4-balance-car
• Owner: GaloisInc
• Created: 2021-01-13T17:19:26.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2021-03-17T22:06:46.000Z (over 3 years ago)
• Last Synced: 2024-05-29T03:25:53.473Z (4 months ago)
• Topics: lean4
• Language: C++
• Homepage:
• Size: 6.74 MB
• Stars: 41
• Watchers: 4
• Forks: 9
• Open Issues: 0

Awesome Lists containing this project