advancedresearch/path_semantics

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

Rust181 stars11 forksMIT

mathematical-logicresearchtype-theory

Rankings

Daily

#6820

Weekly

#12254

Monthly

#16264

Total stars

Daily new stars

Get badge

This repository is tracked by Trending Repos. The badge upgrades automatically if it ever cracks the top 100.

Markdown

![Trending Repos](https://trending-repos.com/badge/advancedresearch/path_semantics.svg)

HTML

<img src="https://trending-repos.com/badge/advancedresearch/path_semantics.svg" alt="Trending Repos" />

Raw URL

https://trending-repos.com/badge/advancedresearch/path_semantics.svg