L

logik

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Mar 11, 2025 — Mar 11, 2026 Showing page 1 of 2 Search / Filter on:
more stuff...	universal	More...				about 17 years ago
start...	universal	More...				about 17 years ago
Nochmal was zu den Lösungen geschrieben	Christopher Hlubek	More...				about 17 years ago
11.4 und 11.5/1 im Rohbau, TeX-Feinschliff fehlt	Christopher Hlubek	More...				about 17 years ago
basics for serie11	universal	More...				about 17 years ago
small change to eval term, not quite good...	universal	More...				about 17 years ago
zwa sin genuch	universal	More...				about 17 years ago
some bits of b	universal	More...				about 17 years ago
1st version of pseudo eval_formula	universal	More...				about 17 years ago
grundgerüst für serie10	universal	More...				about 17 years ago
9.4 (a) als Pseudocode angegeben	Christopher Hlubek	More...				about 17 years ago
Fehler in 9.3 behoben (Interpretation einer Konstante, ist direkt c^S), Kommentare hinzugefügt	Christopher Hlubek	More...				about 17 years ago
aufgabe 9.3 ohne erklärende kommentare ;)	universal	More...				about 17 years ago
prep for serie09	universal	More...				about 17 years ago
code per listings eingefügt	universal	More...				about 17 years ago
tabs --> spaces teil 1 der beweisaufabe	universal	More...				about 17 years ago
Algorithm changed to second version	Christopher Hlubek	More...				over 17 years ago
Validation fixed	Christopher Hlubek	More...				over 17 years ago
Merge branch 'master' of [email protected]:universal/logik	Christopher Hlubek	More...				over 17 years ago
HornSAT implementation in Ruby	Christopher Hlubek	More...				over 17 years ago
Aufgabe 6.3 per Induktion	Christopher Hlubek	More...				over 17 years ago
small fixxes, etwas für 6.3 -- formal nicht gut :(	universal	More...				over 17 years ago
skelett fpr serie06	universal	More...				over 17 years ago
Aufgabe 5.3 vervollständigt	Christopher Hlubek	More...				over 17 years ago
anfang von letzter aufgabe...	universal	More...				over 17 years ago
anfang von serie05	universal	More...				over 17 years ago
Merge branch 'master' of [email protected]:universal/logik	universal	More...				over 17 years ago
Präsenzaufgabe 4.3	Christopher Hlubek	More...				over 17 years ago
code added to pdf debug messages removed...	universal	More...				over 17 years ago
dpll solver in ruby...	universal	More...				over 17 years ago

←
1
2
→