This project is archived. Its data is read-only. This project is read-only.

Liatris Archived

Project information

Formalization of graphs in Agda with focus on graphs for studying causality

Created on

August 29, 2024

Loading