Joel Kronqvist
Tervetuloa verkkosivuilleni!
Olen matematiikan ja tietotekniikan opiskelija Aalto-yliopistossa. Tänä kesänä olen harjoittelijana Aallon Matemaattisen fysiikan tutkimusryhmässä, jossa teen kandidaatintyötäni. Se sisältää muun muassa tulosten verifiointia Lean 4 -todistajan avulla ohjaajani Kalle Kytölän formalisointiprojektissa, ks. https://github.com/kkytola/ExtremeValueProject.
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ä.