advancedresearch/path_semantics

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

Rust181 stars11 forksMIT

mathematical-logicresearchtype-theory

Rankings

PeriodRankScore

Daily

#109550.0

Weekly

#159360.0

Monthly

#163790.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #4519

Format

Markdown

[![advancedresearch/path_semantics badge](https://trending-repos.com/badge/advancedresearch/path_semantics.svg?v=3)](https://trending-repos.com/repositories/advancedresearch/path_semantics?utm_source=github&utm_medium=badge)

Back to trending