Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add documentation #61

Closed
pi8027 opened this issue Apr 25, 2022 · 2 comments · Fixed by #89
Closed

Add documentation #61

pi8027 opened this issue Apr 25, 2022 · 2 comments · Fixed by #89
Labels
documentation Improvements or additions to documentation good first issue Good for newcomers

Comments

@pi8027
Copy link
Member

pi8027 commented Apr 25, 2022

No description provided.

@pi8027 pi8027 added the documentation Improvements or additions to documentation label Apr 25, 2022
@pi8027 pi8027 added the good first issue Good for newcomers label Sep 29, 2023
@pi8027
Copy link
Member Author

pi8027 commented Sep 29, 2023

Showcasing the features of the tactics by restructuring and adding more comments to the example files should not be very difficult (but I'm not going to do that by myself).

@pi8027
Copy link
Member Author

pi8027 commented Oct 11, 2023

Done in #89.

@pi8027 pi8027 closed this as completed Oct 11, 2023
@pi8027 pi8027 linked a pull request Oct 11, 2023 that will close this issue
Documentation #89
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
documentation Improvements or additions to documentation good first issue Good for newcomers
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Documentation math-comp/algebra-tactics
1 participant
@pi8027