Skip to content

Pull requests: ostis-apps/geometry.ostis

New pull request New
13 Open 352 Closed
13 Open 352 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Feat/external angle of a triangle task 1
#432 opened Mar 6, 2025 by aChainsmoker Loading…
@aChainsmoker
3
Fix/example task template
#431 opened Mar 5, 2025 by FromApollo Loading…
@FromApollo
6
feat(kb): add isosceles_triangle_task_1
#430 opened Mar 5, 2025 by FromApollo Loading…
2
feat(kb)/add triangles task 8.52
#429 opened Mar 5, 2025 by Adliga Loading…
5
feat(kb)/add circumference task 1
#428 opened Mar 4, 2025 by Aliaksei9 Loading…
@Aliaksei9
7
added perpendicular_bisector_task_1.gwf
#427 opened Mar 4, 2025 by pYro-sudo Loading…
@pYro-sudo
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! Updated in the last three days: updated:>2025-03-07.