I am a MSc student at the Department of Informatics at the University of Oslo. My thesis was on grounding the feedback system of OnlineProver in literature and building upon it to improve its efficacy as a learning tool for writing natural deduction proofs.
Some of my open source projects/libraries are listed below. Others can be found on sourcehut.