Etusivu Tutki Apua
Kirjaudu sisään
radu
/
LaTeX-examples
Tarkkaile 1
Äänestä 0
Fork 0
Tiedostot Ongelmat 0 Pull-pyynnöt 0 Wiki
Puu: 1efccc09d9
Branchit Tagit

Commitin historia

Tekijä SHA1 Viesti Päivämäärä
  Martin Thoma c41076e929 got case 2.2 correct 12 vuotta sitten
  Martin Thoma a1274e176f many improvements (theorem-proof-structure for constant function; corrected errors) 12 vuotta sitten
  Martin Thoma 01e343f66c next (failed?) try to calculate the quadratic 12 vuotta sitten