RD raj_mathe
0 Followers · 0 Following

  • Ich bin Mathematiker und (mathematischer) Logiker

  • Joined on 2020-10-19
Repositories
9
 Projects Packages Public Activity Starred Repositories
raj_mathe pushed to master at raj_mathe/logik2021 2021-06-01 14:25:31 +02:00
a2263d0634 master > master: glossar sortierung
raj_mathe pushed to master at raj_mathe/logik2021 2021-06-01 14:22:36 +02:00
cfe8064e4f master > master: glossar - disjunktionsglieder
raj_mathe pushed to master at raj_mathe/logik2021 2021-06-01 14:18:41 +02:00
1622c4384e master > master: Verlinkung zum Glossar
raj_mathe pushed to master at raj_mathe/logik2021 2021-06-01 14:12:38 +02:00
5783c418bf master > master: protokol woche 8
54b5a3a292 master > master: Überararbeitung von Protokollen (Formatierung)
618f463c93 master > master: glossar
Compare 3 commits »
raj_mathe pushed to master at raj_mathe/logik2021 2021-05-19 13:11:19 +02:00
46cc296956 master > master: protokoll woche 6
raj_mathe pushed to dev at raj_mathe/logik2021 2021-05-18 17:33:05 +02:00
736239b3f0 dev > master: codego - mod/sum
b06512af3d dev > master: codego - scripts verbessert
Compare 2 commits »
raj_mathe pushed to dev at raj_mathe/logik2021 2021-05-18 11:45:45 +02:00
64418347f2 dev > master: fügte alg hinzu
raj_mathe pushed to dev at raj_mathe/logik2021 2021-05-18 11:42:07 +02:00
raj_mathe pushed to master at raj_mathe/logik2021 2021-05-18 11:35:50 +02:00
3d49ab9b7a master > master: protokoll woche 6
raj_mathe pushed to master at raj_mathe/logik2021 2021-05-18 11:31:53 +02:00
f292d7e5dc master > master: codego - utils + unit tests, A1[0-9]+ mit testen
2ab9b63a08 master > master: codego - Formulae package
4be6896a0f master > master: codego - Grammatik
c48f703744 master > master: codego - test.sh
Compare 4 commits »
raj_mathe pushed to master at raj_mathe/logik2021 2021-05-15 12:12:11 +02:00
0b9378cea1 master > master: notes - Woche5 (bloß kosmetische Änderungen)
raj_mathe pushed to master at raj_mathe/logik2021 2021-05-15 10:59:04 +02:00
d877f3905c master > master: codego - test nicht mehr wegen generics überspringen
38c4614e3e master > master: codego - minor fix
888728d039 master > master: codego - generics schema
0856bfc0b0 master > master: codego - generics
b315e666b8 master > master: codego - test.sh (entfernte rm go.sum)
Compare 9 commits »
raj_mathe pushed to master at raj_mathe/logik2021 2021-05-14 18:34:21 +02:00
39be87d52f master > master: codego - cleanup
raj_mathe pushed to master at raj_mathe/logik2021 2021-05-14 17:40:32 +02:00
89c8e63f4b master > master: codego - aufteilen von methoden in /formulae
raj_mathe pushed to master at raj_mathe/logik2021 2021-05-14 16:57:41 +02:00
73b7817dcd master > master: codego - auslagern, erzeugungsmethode verbessert, SyntaxBaum -> Formula
d490406892 master > master: codego - README.md
004204c9e9 master > master: codego - .gitignore
3de689d6fc master > master: codego - build.sh vereinfacht
Compare 4 commits »
raj_mathe pushed to master at raj_mathe/logik2021 2021-05-12 22:36:11 +02:00
6641946bad master > master: codego Tippfehler
raj_mathe pushed to master at raj_mathe/logik2021 2021-05-12 22:34:34 +02:00
2c9b4762a4 master > master: codego panic statt err in utils + unit tests
raj_mathe pushed to master at raj_mathe/logik2021 2021-05-12 18:53:52 +02:00
a20cfba970 master > master: codego unit tests (actual, expected) Reihenfolge
raj_mathe pushed to master at raj_mathe/logik2021 2021-05-12 18:46:26 +02:00
45821fc85d master > master: codego go.sum aktualisiert
1e37fd2ea9 master > master: codego unit tests aktualisiert
c10f194ce4 master > master: codego rekursives Aufrufen mit Channels ausgelagert
8778d31676 master > master: codego main aufgeräumt
8dcf781b96 master > master: codego Anwendung von Go's "channels" für Rekursion
Compare 7 commits »
raj_mathe pushed to master at raj_mathe/logik2021 2021-05-12 14:29:53 +02:00
44b0ee41bf master > master: go package updates
8e6bd1def7 master > master: codego build script
Compare 2 commits »