knrafto/formal-agda

Experiments in formalizing and specifying computer systems with Agda

Experiments in formalizing and specifying computer systems.

Based of the Agda cubical library: https://github.com/agda/cubical