issues
search
advancedresearch
/
path_semantics
A research project in path semantics, a re-interpretation of functions for expressing mathematics
MIT License
160
stars
13
forks
source link
Added paper about reproducible type theory
#1312
Closed
bvssvni
closed
10 months ago