Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/herulume/galculator
A functional prototype of a Galois-connection based proof assistant
https://github.com/herulume/galculator
category-theory galois-connection haskell proof-assistant
Last synced: about 2 months ago
JSON representation
A functional prototype of a Galois-connection based proof assistant
- Host: GitHub
- URL: https://github.com/herulume/galculator
- Owner: herulume
- License: lgpl-3.0
- Created: 2021-03-02T18:30:10.000Z (almost 4 years ago)
- Default Branch: main
- Last Pushed: 2021-03-02T22:53:17.000Z (almost 4 years ago)
- Last Synced: 2023-03-11T00:47:34.384Z (almost 2 years ago)
- Topics: category-theory, galois-connection, haskell, proof-assistant
- Language: Haskell
- Homepage:
- Size: 55.7 KB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0