issues
search
cadCAD-org
/
cadcad-ri
The Reference Implementation
https://cadcad.org
BSD 2-Clause "Simplified" License
19
stars
10
forks
source link
[Research] Formalization of Spaces
#16
Closed
emanuellima1
closed
1 year ago
emanuellima1
commented
2 years ago
AC:
Spaces are formalized in terms of an algebra
AC: