advancedresearch/path_semantics

A research project in path semantics, a re-interpretation of functions for expressing mathematics

语言：Rust · GitHub 星标：185 · Fork：11

话题：mathematical-logic · research · type-theory

在 GitHub 上查看原仓库