GaloisInc / lean4-balance-carLinks

Lean4 port of Arduino balance car controller
44Updated 4 years ago

Alternatives and similar repositories for lean4-balance-car

Users that are interested in lean4-balance-car are comparing it to the libraries listed below

Sorting: