ostis-apps / geometry.ostis Public

Notifications You must be signed in to change notification settings
Fork 45
Star 0

Code
Issues
Pull requests 7
Actions
Projects
Wiki
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights

Pull requests: ostis-apps/geometry.ostis

Labels 7 Milestones 0

New pull request New

7 Open 347 Closed

Author

Filter by author

Label

Filter by label

Use alt + click/return to exclude labels

or ⇧ + click/return for logical OR

Projects

Filter by project

Milestones

Filter by milestone

Reviews

Filter by reviews

No reviews Review required Approved review Changes requested

Assignee

Filter by who’s assigned

Assigned to nobody

Sort

Sort by

Newest Oldest Most commented Least commented Recently updated Least recently updated Best match

Most reactions

Pull requests list

Validate solid_geometry/formal_statements/statements/statements_scs and add nrel_skew and nrel_centroid

#412 opened May 9, 2024 by Yrian04

Loading…

checked plane_geometry/relation folder

#411 opened Apr 17, 2024 by Veterrius

Loading…

check plane_geometry/relation directory

#410 opened Apr 17, 2024 by Yrian04

Loading…

tranlated formal definitions

#409 opened Apr 17, 2024 by Kovvvalski

Loading…

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! Follow long discussions with comments:>50.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly