Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/edusporto/algebraic

Notes for the "Algebraic Methods for Creating and Reasoning about Programmes" research internship at KU Leuven
https://github.com/edusporto/algebraic

Last synced: about 1 month ago
JSON representation

Notes for the "Algebraic Methods for Creating and Reasoning about Programmes" research internship at KU Leuven

Awesome Lists containing this project

README

        

# algebraic

Notes for the "Algebraic Methods for Creating and Reasoning about Programmes" research internship at KU Leuven.