Skip to content
GitLab
Explore
Sign in
cduce
cduce
Issues
#39
Replace `Num` by `Zarith`