Giters

choukh / DEST

Double Extension Set Theory in Agda

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Double Extension Set Theory in Agda

About

Double Extension Set Theory in Agda

License:GNU Affero General Public License v3.0

Languages

Language:Agda 100.0%