https://github.com/advancedresearch/path_semantics

A research project in path semantics, a re-interpretation of functions for expressing mathematics
https://github.com/advancedresearch/path_semantics

mathematical-logic research type-theory

Last synced: 3 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/advancedresearch/path_semantics
• Owner: advancedresearch
• License: mit
• Created: 2015-06-05T09:09:01.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2024-05-22T19:46:50.000Z (6 months ago)
• Last Synced: 2024-05-22T19:49:34.334Z (6 months ago)
• Topics: mathematical-logic, research, type-theory
• Language: Rust
• Homepage:
• Size: 82.7 MB
• Stars: 160
• Watchers: 20
• Forks: 13
• Open Issues: 27
• Metadata Files:
  • Readme: README.md
  • Funding: .github/FUNDING.yml
  • License: LICENSE
  • Roadmap: roadmap.md

Awesome Lists containing this project