felipeperet / logic

An adventure on formalizing logics using the Agda programming language

Geek Repo

Github PK Tool