omelkonian / formal-prelude

Simple extension of Agda's standard library for personal use.

https://omelkonian.github.io/formal-prelude

Geek Repo

Github PK Tool