Skip to content

Pull requests: ostis-apps/geometry.ostis

New pull request New
16 Open 381 Closed
16 Open 381 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add files via upload
#476 opened May 15, 2025 by TikhonKhod Loading…
Final geometry of 7 grade
#475 opened May 15, 2025 by MikhailOstrov Loading…
Fix/altitude median and bisector of a triangle 1 2
#473 opened May 8, 2025 by enterpraizer Loading…
@aChainsmoker
3
fixed task 4
#469 opened May 6, 2025 by aChainsmoker Loading…
@aChainsmoker
add Task1, Task2, Task3
#464 opened Apr 7, 2025 by Oxihope Loading…
@Oxihope
5
added characteristics_of_an_isosceles_triangl task_1
#461 opened Mar 31, 2025 by Artiomion Loading…
@Artiomion
4
add diraction
#460 opened Mar 31, 2025 by enterpraizer Loading…
@enterpraizer
2
Feat/fix kb
#440 opened Mar 23, 2025 by pYro-sudo Loading…
@pYro-sudo @Adliga
@Aliaksei9 @aChainsmoker @FromApollo
8
Предметная область геометрии 7 класса
#436 opened Mar 12, 2025 by MikhailOstrov Loading…
9
Validate solid_geometry/formal_statements/statements/statements_scs and add nrel_skew and nrel_centroid
#412 opened May 9, 2024 by Yrian04 Loading…
4
checked plane_geometry/relation folder
#411 opened Apr 17, 2024 by Veterrius Loading…
2
check plane_geometry/relation directory
#410 opened Apr 17, 2024 by Yrian04 Loading…
3
tranlated formal definitions
#409 opened Apr 17, 2024 by Kovvvalski Loading…
4
UI-3-agent_for_removing_multiple_structures_for_visualization
#349 opened Apr 23, 2017 by PavelLos Loading…
UI-2-agent_of_removing_a_structure_from_a_set_of_structures_for_visua…
#348 opened Apr 23, 2017 by PavelLos Loading…
UI-1-agent_of_adding_a_section_to_a_set_of_structures_for_visualization
#347 opened Apr 23, 2017 by PavelLos Loading…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.