https://github.com/yurrriq/idris-alga

The theory of algebraic graphs formalised in Idris
https://github.com/yurrriq/idris-alga

algebra graph idris

Last synced: about 4 hours ago
JSON representation

The theory of algebraic graphs formalised in Idris

• Host: GitHub
• URL: https://github.com/yurrriq/idris-alga
• Owner: yurrriq
• Created: 2018-02-09T00:08:28.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2018-09-22T21:28:01.000Z (over 6 years ago)
• Last Synced: 2024-11-17T07:29:25.399Z (2 months ago)
• Topics: algebra, graph, idris
• Language: Idris
• Homepage:
• Size: 7.81 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# The theory of algebraic graphs

We use Agda to formalise the theory of [algebraic graphs][1] and prove a few key theorems.

## Formalisations in Other Languages

- [Agda][2]

- [Haskell][3]

- [Scala][4]

[1]: https://github.com/snowleopard/alga-paper

[2]: https://github.com/algebraic-graphs/agda

[3]: https://github.com/snowleopard/alga

[4]: https://github.com/algebraic-graphs/scala