https://github.com/jacquescarette/graphsandtheories

Where we explore the intersection between (hyper)graphs and axiomatic theories systematically
https://github.com/jacquescarette/graphsandtheories

Last synced: about 1 year ago
JSON representation

Where we explore the intersection between (hyper)graphs and axiomatic theories systematically

• Host: GitHub
• URL: https://github.com/jacquescarette/graphsandtheories
• Owner: JacquesCarette
• License: bsd-3-clause
• Created: 2023-05-29T17:37:23.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2023-08-02T18:01:05.000Z (almost 3 years ago)
• Last Synced: 2025-04-24T00:07:26.142Z (about 1 year ago)
• Language: Haskell
• Size: 4.88 KB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# GraphsAndTheories

Where we explore the intersection between (hyper)graphs and axiomatic theories systematically