A unified framework for reasoning about logical clocks
Primary LanguageAgda
No issues in this repository yet.