feat: Frénet moving frame and Frénet equation for plane curves#36731
Open
michael-novak-math wants to merge 197 commits intoleanprover-community:masterfrom
Open
feat: Frénet moving frame and Frénet equation for plane curves#36731michael-novak-math wants to merge 197 commits intoleanprover-community:masterfrom
michael-novak-math wants to merge 197 commits intoleanprover-community:masterfrom
Commits
Commits on Mar 16, 2026
- committed
- authored
- authored
- authored
- committed
- committed
- committed
- authored
- authored
- committed
- authored
- committed
- committed
- committed
- committed
- authored
- authored
- committed
- committed
- authored
- authored
- committed
- committed
- authored
![pre-commit-ci-lite[bot]](https://avatars.githubusercontent.com/in/257897?v=4&size=32){kind=avatar}
Commits on Mar 17, 2026
- committed
- authored
- authored
- authored
- committed
- authored
- committed
- authored
- committed
- authored
- authored
- committed
- authored
- committed
- committed
- authored
- authored
- authored
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- committed
- authored
- authored
- committed
- authored
- authored
Commits on Mar 18, 2026
- committed
- authored
- authored
- authored
- committed
- authored
- committed
- authored
- authored
- committed
- authored
- authored
- committed
- authored
- committed
- authored
- committed
- authored
- authored
- andauthored
Commits on Mar 19, 2026
- authored
- authored
- committed
- authored
- authored
- authored
- committed
- authored
- authored
- committed
- authored
Commits on Mar 20, 2026
- committed
- authored
- authored
- committed
- authored
- authored
- committed
- committed
- authored
- committed
- committed
- authored
- committed
- authored
- authored
Commits on Mar 21, 2026
- committed
- authored
- authored
- committed
- authored
- committed
- authored
- committed
- committed
- authored
- authored
- committed
- authored
Commits on Mar 22, 2026
- authored
- committed
- authored
- committed
- authored
- authored
- authored
- committed
- authored
- authored
- committed
- authored
Commits on Mar 24, 2026
Commits on Mar 25, 2026
Commits on Mar 26, 2026
Commits on Mar 27, 2026
Commits on Mar 28, 2026
Commits on Mar 29, 2026
Commits on Mar 31, 2026
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- authored
- committed
- authored
Commits on Apr 1, 2026
- authored
- committed
- authored
- authored
- authored
- andauthored
- authored
Commits on Apr 4, 2026
- committed
- authored
- andauthored
- committed
- authored
Commits on Apr 5, 2026
Commits on Apr 6, 2026
- committed
- authored
- committed
- authored
- authored
- authored
- committed
- authored
- authored
- committed
- authored
- authored
Commits on Apr 7, 2026
- andauthored
- andauthored
- authored
- committed
- committed
- authored
- authored
- committed
- committed
- authored
- authored
- authored
- authored
- authored