issues
search
advancedresearch
/
path_semantics
A research project in path semantics, a re-interpretation of functions for expressing mathematics
MIT License
163
stars
13
forks
source link
Added paper about avatar univalence
#1059
Closed
bvssvni
closed
3 years ago