Skip to content

Define Polyhedron as GeneralPolytope<:Gridap.Polytope#33

Merged
pmartorell merged 17 commits intomainfrom polytopeJul 29, 2024

Commits

Commits on Apr 15, 2024

Commits on May 14, 2024

Commits on May 15, 2024

Commits on Jul 25, 2024