GitHunt
GE

gergoerdi/mod-arith

Modular arithmetic in Agda

agdaalgebraarithmeticmodular-arithmetic
No README found.

Contributors

GE
Created March 4, 2012
Updated August 16, 2018
gergoerdi/mod-arith | GitHunt