Skip to content

GitLab

Explore

Sign in

Numbers

Project information

Formalization of numbers (Z,Q, ...), inspired by the lecture "Didaktik der Arithmetik"

24 Commits
6 Branches
5 Tags

Creative Commons Attribution Non Commercial Share Alike 4.0 International

Created on

July 25, 2023

Loading