hiro/TUD_MATH_BA
1
0
Fork 0
mirror of https://github.com/vale981/TUD_MATH_BA synced 2025-03-10 21:06:40 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
241 commits 4 branches 3 tags 107 MiB
Commit graph

3 commits

Author SHA1 Message Date
ScyllaHide
689bfca8c2 partial added proofs 2018-04-03 20:06:50 +02:00
ScyllaHide
b594da3b4d Fixed renaimg mistake for Ganze und rationale Zahlen, added definition names 2018-03-29 14:35:00 +02:00
ScyllaHide
9ed30e378c Added ANAGI without proofs 2018-03-29 14:01:59 +02:00