Skip to content

Sine and cosine#1748

Draft
lowasser wants to merge 357 commits intoUniMath:masterfrom
lowasser:cosine
Draft

Sine and cosine#1748
lowasser wants to merge 357 commits intoUniMath:masterfrom
lowasser:cosine

Conversation

@lowasser
Copy link
Collaborator

@lowasser lowasser commented Dec 6, 2025

Depends on #1747.

lowasser and others added 30 commits November 8, 2025 11:55
…da.md

Co-authored-by: Fredrik Bakke <fredrbak@gmail.com>
…s.lagda.md

Co-authored-by: Fredrik Bakke <fredrbak@gmail.com>
lowasser and others added 28 commits November 27, 2025 09:17
Co-authored-by: Fredrik Bakke <fredrbak@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants