Simple extension of Agda's standard library for personal use.
Home Page:https://omelkonian.github.io/formal-prelude
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool