Found 10 repositories(showing 10)
UniversalAlgebra
Lean library for Universal Algebra
drisspg
Lean 4 formalizations of proofs from Stephen Abbott's Understanding Analysis textbook
gilesgshaw
Universal Algebra in Lean
connectall
Leankit Planview adapter
liqi0601
Machine Learning Final Project
tech0608
No description available
kroschu
No description available
Rafijuliasgeoinfo
Python workflow for tree stem-lean analysis from UAV LiDAR point clouds to support landslide deformation mapping.
aditianurwansyah
No description available
Enhance the multi-head attention mechanism by integrating an LSTM for multirotor fault detection.
All 10 repositories loaded