javra / szumification

Formalization of Szumification and its correctness

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Formalization of Szumification and its correctness


Languages

Language:Agda 100.0%