Skip to content

GitLab

Explore

Sign in

Max Ole Elliger
Numbers

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

Copy SSH clone URLgit@gitlab.cs.fau.de:oc59yqul/numbers.git
Copy HTTPS clone URLhttps://gitlab.cs.fau.de/oc59yqul/numbers.git