AdrianDoM

AdrianDoM's Stars

• glams-lean-2024/formal-2024

  Course repository for GlaMS - Formalising Mathematics in Lean (2024)

  Language:Lean86

• simonwillerton/graph_magnitude_homology

  A Jupyter notebook of SageMath code to compute graph magnitude homology

  Language:Jupyter Notebook1