Julian-Kuelshammer's repositories
Julian-Kuelshammer.github.io
My academic website, forked from mmistakes/minimal-mistakes
Language:JavaScriptMIT000
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
MIT000
uniqueness_bocses_sage
This repository provides a partial verification of certain computations in the paper "Uniqueness of exact Borel subalgebras and bocses" by Julian Külshammer and Vanessa Miemietz using SageMath.
Language:SageMIT000
Bocses
A Magma package for computing with bocses
Language:Mathematica000
summer_maths_it_camp
Some exercises for the Summer Maths / IT Camp at Uppsala University in the Summer of 2022
Language:Lean000