Skip to content

Matita's arithmetic library in Agda

Latest
Latest
Compare
Choose a tag to compare
@thiagofelicissimo thiagofelicissimo released this 21 Feb 09:58
· 1 commit to master since this release
v1
519bde0

This repository contains a translation of Matita's arithmetic library in Agda, made using the tool Predicativize and the logical framework Dedukti. The files have been typechecked using Agda 2.6.3.

Assets 2