Tervetuloa verkkosivuilleni!
Olen matematiikan ja tietotekniikan opiskelija Aalto-yliopistossa. Teen parhaillaan kandidaatintyötäni prof. Kalle Kytölän ohjauksessa. Se sisältää muun muassa tulosten verifiointia Lean 4 -todistajan avulla hänen formalisointiprojektissaan, ks. https://github.com/kkytola/ExtremeValueProject. Lisäksi toimin tässä periodissa kurssin MS-A0401 ruotsinkielisen toteutuksen kurssiassistenttina.
Löydät täältä seuraavaa:
Uudistin verkkosivut juuri, ja tietoa muutoksista löydät tästä blogipostauksesta! Mitä olennaisinta, nyt verkkosivun lähdekoodia ja muokkaushistoriaa pystyy tarkkailemaan git-tietosäilöstä.